"Language Hierarchies and Interfaces 1975" - читать интересную книгу автора (F.L. Bauer, K. Samelson)