A formal model for automated technological system

Kull, A. A formal model for automated technological system // Analysis and synthesis of complicated systems and circuits with the aid of computers. Tallinn : Tallina Tehnikaülikool, 1989. p. 3-10. (Tallinna Tehnikaülikooli toimetised = Труды Таллинского технического университета = Transactions of Tallinn Technical University ; 702, Electrical engineering and automatics ; 38).