Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Krieg-Brückner, Bernd Max Planck Society;
Basin, D. A., & Krieg-Brückner, B. (1999). Formalization of the Development Process. In E. Astesiano, H.-J. Kreowski, & B. Krieg-Brückner (Eds.), Algebraic foundations of systems specification (pp. 521-562). Berlin, Germany: Springer.