Title: An implementation of a system for the formal definition of programming languages
Subjects: Formal languages, Programming languages (Electronic computers)