Formal models in programming : Proceedings of the IFIP TC2 working conference : Konf. Vienna, Austria, 30. Jan. - 1. Febr. 1985 - Neuhold, Erich J; Chroust, G (North-Holland, 1985)