Becvar, J Symposium on mathematical foundations of computer science 4th (1975: Marianske Lazne) Ed. by J Becvar - New York: Springer- Verlag; 1975. - x, 476p. Subjects--Index Terms: Formal languages Universal Decimal Class. No.: 519.765 / BEC