Dines Bjørner

Structure of Pure Reason

Domain Science and Engineering

Software Engineering 2

Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)

Software Engineering 3

Perspectives of System Informatics

VDM '90. VDM and Z - Formal Methods in Software Development