Formal Foundations For Software Engineering Methods by Heinrich Hussmann