Anfonwch hwn fel neges destun: Formal program development : IFIP TC2/WG 2.1 state-of-the-art report / Bernhard Möller, Helmut Partsch, Steve Schuman, (eds.).