Formal specification of programming languages a panoramic primer - Pagan, Frank G. (Prentice-Hall software series, 1981)