The use of formal specification of software : JUNE 25-27, 1979, BERLIN (Informatik-Fachberichte / Springer Verlag ;, 1980)