Helmut K. Berg William R. Franta Thomas G. Moher Correctness of Software - An Overview. 237-354 1979 conf/fm/1979 The Use of Formal Specification of Software db/conf/fm/fm1979.html#BergFM79