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