Formal models in programming - Neuhold, E.J. ed. & Chroust, G. (Ifip, North-holland, 1985)