Heiner Brand, María Victoria Cengarle, Klaus Däßler, Luis Mandel, Thekla Schneider, and Martin Wirsing. An Approach to the DIN Kernel Lisp Definition. Lisp and Symbolic Computation: An International Journal, 4(4):319–369, April 1992.

Martin Wirsing and Manfred Broy. A modular framework for algebraic specification and implementation. In Josep Diaz and Fernando Orejas, editors, TAPSOFT 89, volume 351 of Lecture Notes in Computer Science, pages 42–73. Springer, 1989.

Manfred Broy and Martin Wirsing. On the algebraic specification of nondeterministic programming languages. In Egidio Astesiano and Corrado Boehm, editors, 6eme Colloque sur les Arbres en Algebre et en Programmation, Lecture Notes in Computer Science. Springer, 1981.