Vereijken, J. J. (1997). Discrete Time Process Algebra. [Thesis, fully external, Eindhoven University of Technology].
Bergstra, J. A., & Ponse, A. (1997). Kleene's Three-Valued Logic and Process Algebra. (Technical Report; No. P9723). onbekend (FdL).
Bergstra, J. A., & Ponse, A. (1997). Process Algebra Primitives for File Transfer. (Technical Report; No. P9725). onbekend (FdL).
Bergstra, J. A., & Ponse, A. (1997). Process Algebra with Four-Valued Logic. (Technical Report; No. P9724). onbekend (FdL).
Bergstra, J. A., & Sellink, M. P. A. (1997). An Arithmetical Module for Rationals and Reals. (Technical Report; No. P9709). onbekend (FdL).
Bergstra, J. A., & Klint, P. (1996). The ToolBus Coordination Architecture. In C. Hankin, & P. Ciancarini (Eds.), Coordination Languages and Models (COORDINATION) (pp. 75-88). Springer-Verlag.
Sellink, M. P. A. (1996). Computer-Aided Verification of Protocols: the Type Theoretic Approach. [Thesis, fully external, UU].
Bergstra, J. A., Dinesh, T. B., Field, J., & Heering, J. (1996). Towards a complete transformational toolkit for compilers. In H. R. Nielson (Ed.), Programming Languages and Systems (ESOP'96) (pp. 92-107). (Lecture Notes; No. 1058). Springer Verlag.
Hillebrand, J. A. (1996). Experiments in Specification Re-Engineering. [Thesis, fully internal, Universiteit van Amsterdam]. UvA.
Bergstra, J. A., & Sellink, M. P. A. (1996). Sequential data algebra primitives (revised version of P9602). (Technical Report; No. P9602b). onbekend (FdL).