Formal Foundations for Software Engineering Methods - Hußmann, Heinrich; Hußmann, Heinrich (Springer Berlin Heidelberg : Imprint: Springer, 1997)