Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Report Möller, Bernhard Heftet / 1993 / Engelsk
