H.K. Berg/W.K. Giloi (Hrsg.): The Use of Formal Specification of Software, Berlin 1980