Lano, Kevin: Formal object oriented development
/ Kevin Lano. - London : Springer, 1995. - 422 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-19978-6 / 3-540-19978-0 kart. : DM 74.00
Literaturverz. S. 318 - 331
Quelle: DNB
Andrews, Derek: A theory and practice of program development
/ Derek Andrews. - London : Springer, 1997. - XVII, 405 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76162-4 / 3-540-76162-4 kart. : DM 68.00
Quelle: DNB