EEMCS

Spelt, D. (1999) Verification Support For Object Database Design. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 99-24 ISBN 90-365135-53

Spelt, D. and Balsters, H. (1998) Automatic Verification of Transactions on an Object-Oriented Database. In: Proceedings of the 6th Workshop on Database Programming Languages (DBPL), 18-20 Aug 1997, Estes Park, Colorado, USA. pp. 396-412. Lecture Notes in Computer Science 1369. Springer Verlag. ISBN 3-540-64823-2

Vermeer, W.W.M. (1997) Semantic Interoperability For Legacy Databases. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 97-11 ISBN 90-365-0964-5

Bal, C.M.R. and Balsters, H. (1993) A Deductive and Typed Object-Oriented Language. In: Proceedings of the 2rd International Conference on Deductive and Object-Oriented Databases (DOOD 1993), 6-8 Dec 1993, Phoenix, Arizona. pp. 340-359. Lecture Notes in Computer Science 760. Springer Verlag. ISSN 0302-9743 ISBN 3-540-57530-8

Balsters, H. and de By, R.A. and Zicari, R. (1993) Typed Sets as a Basis for Object-Oriented Database Schemas. In: Proceedings of the 7th European Conference on Object-Oriented Programming (ECOOP 1993), 26-30 July 1993, Kaiserslautern, Germany. pp. 161-184. Lecture Notes in Computer Science 707. Springer Verlag. ISSN 0302-9743 ISBN 3-540-57120-5

van Keulen, M. (1992) Struggle for LIFE: A Rapid prototype for TM in LIFE. Master's thesis, University of Twente.

Balsters, H. and Fokkinga, M.M. (1991) Subtyping has a Simple Semantics. Theoretical computer science, 87. pp. 81-96. ISSN 0304-3975 *** ISI Impact 0,838 ***

Balsters, H. and de Vreeze, C.C. (1991) A Semantics of Object-Oriented Sets. In: Proceedings of the third international workshop on Database programming languages (DBPL) : bulk types and persistent data, 27-30 Aug 1991, Nafplion, Greece. pp. 203-217. Morgan Kaufmann Publishers Inc.. ISBN 1-55860-242-9