Mathematical Foundations of computer science 1977 : Symposium - Mathematical Foundations of Computer Science 1977 : Czechoslovakia); Gruska, J. (New York : Springer-Verlag, 1977)
Keywords: Machine theory; Formal languages