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