Formal Descriptions Of Programming Concepts - Erich J. Neuhold (Springer Verlag New York, 1991)