C.A. Middelburg. Logic and Specification. Computer Science: Research and Practice, Vol. 1, Chapman & Hall, 1993. ISBN: 0-412-48680-6.

L.M.G. Feijs, H.B.M. Jonkers, and C.A. Middelburg. Notations for Software Design. FACIT Series, Springer-Verlag, 1994. doi:10.1007/978-1-4471-2107-7.

J.C.M. Baeten and C.A. Middelburg. Process Algebra with Timing. EATCS Monographs Series, Springer-Verlag, 2002. doi:10.1007/978-3-662-04995-2.

J.A. Bergstra and C.A. Middelburg. Instruction Sequences for Computer Science. Atlantis Studies in Computing, Vol. 2, Atlantis Press, 2012. doi:10.2991/978-94-91216-65-7.