Brunekreef, J. J. (1995). TransLog, an interactive tool for transformation of logic programs. (Technical Report; No. P9512). onbekend (FdL).
Brunekreef, J. J. (1995). A 3-level algebraic Ethernet specification. In C. Verhoef, A. Ponse, & S. F. M. van Vlijmen (Eds.), De proceedings: ACP'95 (pp. 413-428)
Brunekreef, J. J. (1995). On Modular Algebraic Protocol Specification. [Thesis, externally prepared, Universiteit van Amsterdam].