Formal foundations for software engineering methods - Hußmann, Heinrich 1959-2022 (Lecture notes in computer science, 1997)