A formal model for automated technological system
Kull, Arvo
Analysis and synthesis of complicated systems and circuits with the aid of computers
1989
/
p. 3-10