María Victoria Cengarle and Martin Wirsing. A Calculus of Higher-Order Parameterization for Algebraic Specifications. Bulletin of the Interest Group in Pure and Applied Logics (IGPL), 3(4):615–641, July 1995. Special Issue 'Workshop on Logic, Language, Information and Computationm 1994'.
Michel Bidoit, Rolf Hennicker, and Martin Wirsing. Characterizing behavioural semantics and abstractor semantics. In Proc. of ESOP'94, pages 105–119. Springer-Verlag L.N.C.S. 788, 1994.
María Victoria Cengarle and Martin Wirsing. A calculus of parameterization for algebraic specifications. Technical Report 94/198, Department of Computer Science, Monash University, May 1994. 20 pages.
María Victoria Cengarle and Martin Wirsing. Semantic Typing for Parametric Algebraic Specifications. Technical Report 94/199, Department of Computer Science, Monash University, May 1994. 12 pages.
Martin Wirsing. Algebraic Specification Languages: An Overview. Technical report, Ludwig-Maximilians-Universität München, 1994.
John N. Crossley, Luis Mandel, and Martin Wirsing. Untyped Constrained Lambda Calculus. Technical Report Number 9318, Ludwig-Maximilians-Universität München, Leopoldstraße 11b, 80802 München, Germany, October 1993. 48 pages.
John N. Crossley, Luis Mandel, and Martin Wirsing. Una Extensión de Constraints al Cálculo Lambda. In Proceedings of the Segundo Congreso de Programación Declarativa, ProDe '93, Blanes, Girona Spain, September 1993. (In Spanish).
John N. Crossley, Luis Mandel, and Martin Wirsing. Untyped Constrained Lambda Calculus is Weakly Church Rosser. In Brian Mayoh and Een Tyugu, editors, NATO Advanced Study Institute. Constraint Programming, Tallin, Estonia, August 1993. Institute of Cybernetics, Estonian Academy of Science. Technical Report CS57/93. 5 pages.
Friederike Nickl and Marting Wirsing. A formal approach to requirements engineering. In Dines Bjørner and Manfred Broy, editors, Formal Methods in Programming and Their Applications, LNCS 735, pages 312–334. Springer, 1993.
Heiner Brand, María Victoria Cengarle, Klaus Däßler, Luis Mandel, Thekla Schneider, and Martin Wirsing. Answer to Baker's Remarks of July 1991 on Version 1.0. Lisp and Symbolic Computation: An International Journal, 4(4):399–404, April 1992.