Helmut A. Partsch

Specification and Transformation of Programs: A Formal Approach to Software Development

Requirements-Engineering systematisch: Modellbildung für softwaregestützte Systeme