USE OF FORMAL SPECIFICATION OF SOFTWARE - BERG,H.K (ED), GILOI,W.K (ED) (SV BERLIN, 1979)