Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report - Möller, Bernhard (Verfasser); Partsch, Helmut (Verfasser); Schuman, Steve (Verfasser) (Lecture Notes in Computer Science, 1993)