The Use of formal specification of software and firmware, June 25-27, 1979, Berlin - Giloi, Wolfgang; Berg, H. K. (Helmut K.) (Informatik-Fachberichte, 1980)