DS-2001-03: de Haas, Erik (2001) Logics For OO Information Systems: a Semantic Study of Object Orientation from a Categorial Substructural Perspective. Doctoral thesis, University of Amsterdam.
X-1992-05: de Haas, Erik and van Emde Boas, Peter (1992) Object Oriented Application Flow Graphs and their Semantics (revised version of CT-1992-01). [Report]
CT-1992-01: de Haas, Erik and van Emde Boas, Peter (1992) Object Oriented Application Flow Graphs and their Semantics (superseded by X-1992-05). [Report]