Fundamentals of programming languages, Second edition - Bilodeau, M.B. (Proceedings of the IEEE, 1986)