Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem - Hußmann, Heinrich 1959-2022 (Technische Universität <München>: TUM-I, 1993)