Bergstra, J. A., & Bethke, I. (2000). Network algebra in Java. In J. A. Bergstra (Ed.), Objects, classes, molecules and threads Faculteit der Natuurwetenschappen Wiskunde en InformaticaUVA.
Bergstra, J. A., Bethke, I., & Ponse, A. (2000). Basic Multi-Competence Programming. (Report P0001). Informatics Institute.
Bergstra, J. A., Bethke, I., & Loots, M. E. (2000). A First Course on C Program Reading. (Report P0002). Informatics Institute.
Baeten, J. C. M., & Bergstra, J. A. (2000). Mode Transfer in Process Algebra. (Report CSR; No. 00-01). TU Eindhoven.
Bergstra, J. A., & Loots, M. E. (2000). Program algebra and copogram calculus. In F. L. Bauer, & R. Steinbrüggen (Eds.), Foundations of Secure Computation (pp. 61-88). (NATO Science Series; No. 175). IOS Press.
Bergstra, J. A., & Ponse, A. (2000). Bochvar-McCarthy logic and process algebra. Notre Dame Journal of Formal Logic, 39(4), 464-484.
Bergstra, J. A., & Ponse, A. (2000). Process algebra with four-valued logic. Journal of Applied Non-Classical Logics, 10(1), 27-53.
de Leeuw, K. M. M. (2000). Cryptology and statecraft in the Dutch Republic. [Thesis, fully internal, Universiteit van Amsterdam].
Bergstra, J. A., & Loots, M. E. (1999). Software mechanics for java multi-threading. Technical Report P9906. WINS (oud WINS).
Bergstra, J. A., & Ponse, A. (1999). Process algebra with five-valued logic. Australian Computer Science Communications, 21, 128-143.
