Synergy between formal and pragmatic software engineering methods - Hußmann, Heinrich 1959-2022 (Technische Universität <München>: TUM-I, 1993)