Formal foundations for software engineering methods / Heinrich Hussmann. - Hussmann, Heinrich, 1959- (Lecture notes in computer science, 1997)