Eva

A toy ALGOL-like language

Formal Specification of Programming Languages: A Panoramic Primer, Frank G. Pagan, Prentice-Hall, 1981.