Formal Foundations for Software Engineering Methods - Heinrich Hußmann ((Lecture Notes in Computer Science))