The Use of Formal Specification of Software 1979: Berlin, Germany