//-->
Foundations of system theory : finitary and infinitary conditions
Anderson, Brian D. O., (1976)
Mathematical programming and control theory
Craven, Bruce D., (1978)
Algebra, Sprachen, Programmierung
Gluškov, Viktor M., (1980)
Studies in automatic programming logic
Manna, Zohar, (1977)