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