Dines Bjørner: A Formal Software Engineering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi. SOFSEM 1997: 219-248