An implementation of a system for the formal definition of programming languages - Hansche, Brian A. (Univ. Microfilms Internat., 1981)
Urbana, Univ. of Illinois, Diss., 1978