Formal foundations for SSADM an approach integrating the formal and pragmatic worlds of requirements engineering - Hußmann, Heinrich 1959-2022 (1994)