TY - BOOK AU - Gruska,J. ED - Mathematical Foundations of Computer Science TI - Mathematical Foundations of computer science 1977: Symposium SN - 3540083537 U1 - 001.6 PY - 1977/// CY - New York PB - Springer-Verlag KW - Machine theory KW - Formal languages ER -