Formal specification of concurrent time-constraint programs
Mõtus, Leo
Eesti teadlaste kongress, 11.-15. augustini 1996. a. Tallinnas : ettekannete kokkuvõtted
1996
/
lk. 267
https://www.ester.ee/record=b1052731*est
Принципы синтеза параллельных программ
Plaks, Toomas
Труды по электротехнике и автоматике. 14
1976
/
с. 107-118 : илл
https://www.ester.ee/record=b2190768*est
https://digikogu.taltech.ee/et/Item/aa35e320-87b1-405b-9cac-3b90c51867d1