Calculational proofs in relational graphical linear algebraPaixao, Joao; Sobocinski, Pawel MariaFormal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings2020 / p. 83-100 https://doi.org/10.1007/978-3-030-63882-5_6 Conference proceedings at Scopus Article at Scopus

Kahest majanduslike ülesannete lahendamise programmsüsteemistMikli, Toomas; Simonova, H.; Tombak, Mati; Villo, N.Ettekannete teesid IV vabariiklikule konverentsile "Automatiseeritud juhtimissüsteemid Eesti NSV-s" : Käärikul, 18.-21. dets. 1972.a. = Тезисы докладов IV республиканской конференции "Автоматизированные системы управления в Эстонской ССР" в Кяэрику, 18-21 декабря 1972 г.1972 / lk. 33 https://www.ester.ee/record=b1324728*est

MODULA-2 : elementaarprogrammeerimine : metoodiline juhend1988 https://www.ester.ee/record=b1233719*est

Modula-2. Moodulprogrammeerimine : metoodiline juhendJürgenson, Rein, inform.1989 https://www.ester.ee/record=b1210477*est

Overview of the modular system for inference of finite state machinesSpitšakova, MargaritaInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK seitsmenda aastakonverentsi artiklite kogumik : 15.-16. novembril 2013, Haapsalu2013 / p. 95-98 : ill

Turbo Pascal : moodultehnika : metoodiline juhendJürgenson, Rein, inform.; Renzer, Aare1990 https://www.ester.ee/record=b1222339*est

Turbo Pascali moodulitehnikaJürgenson, Rein, inform.Arvutustehnika ja Andmetöötlus : A&A1989 / lk. 9-19 : ill https://www.ester.ee/record=b1071940*est

Грамматические формализмы как прямые средства программирования модульных системVooglaid, Aare; Liib, DonaldВсесоюзный семинар по методам синтеза типовых модульных систем обработки данных : тезисы докладов1981 / с. 77