Other Publications

C.A. Middelburg. A formal definition based design of the translation phase of a CHILL compiler. In Proceedings CHILL Implementors/Users Meeting, Technical University of Denmark, Lyngby, 1980. Electronic version.

C.A. Middelburg. Combining VDM and temporal logic. In Proceedings Workshop on Specification of Concurrent Systems, Philips Research Laboratories, Eindhoven, 1989. Electronic version.

C.A. Middelburg. A framework for defining modular structuring facilities. In Proceedings Modules Meeting, National Physical Laboratory, Teddington, 1992. Electronic version.

C.A. Middelburg. Design calculi in software development: Theory and practice. In Proceedings EU-China High Tech Conference, pages 307–311. SSTCC and EU DG XII, Beijing, 1996. Electronic version.

C.A. Middelburg. Beyond SDL. UNU/IIST Lecture Notes: DesCaRTeS Course, The United Nations University, International Institute for Software Technology, 1997. Electronic version.

C.A. Middelburg. Searching publications on operating systems. arXiv:1003.5525v1 [cs.OS].

C.A. Middelburg. Searching publications on software testing. arXiv:1008.2647v1 [cs.SE].

J.A. Bergstra and C.A. Middelburg. Interest prohibition and financial product innovation. In A. Escurat, editor, Finance Islamique: Regard(s) sur une Finance Alternative, pages 274–284. Mazars Hadj Ali, Algiers, 2011. Electronic version.

C.A. Middelburg.  A short introduction to process theory. arXiv:1610.01412v1 [cs.LO].

Publications in Dutch

C.A. Middelburg. Het relationele model gezien in het licht van de Codasyl voorstellen. Informatie, 17(2):67–76, 1975.

C.A. Middelburg. Een beschouwing over informatiesystemen en databasemanagement. Het PTT-Bedrijf, 20(4):221–224, 1977.

C.A. Middelburg and J. Mendrik. Een ingenieurskijk op Teletekst en Viewdata: Technische achtergronden. De Ingenieur, 90(48):927–932, 1978.

C.A. Middelburg. Prolog: Programmeren in logica? Informatie, 26(11):866–870, 1984.

C.A. Middelburg. Programmeren in logica. In J.A.A.M. Poirters and G.J. Schoenmakers, editors, Colloquium Programmeertalen, pages 39–60. Academic Service, 1986.

C.A. Middelburg. Is programmatuurontwikkeling met formele methoden zinvol? Informatie, 34(3):148–158, 1992. Electronic version.

C.A. Middelburg. Programmatuur zonder logica. Inaugural lecture, Utrecht University, Department of Philosophy, 1993. Electronic version.

Advertisements