Michel Bidoit, Rolf Hennicker, and Martin Wirsing. Behavioural and Abstractor Specifications. Science of Computer Programming, 25(2-3):146–186, 1995.
Manfred Broy and Martin Wirsing. Correct software: From experiments to applications. In M. Broy and S. Jähnichen, editors, KORSO - Correct Software by Formal Methods. Springer, LNCS 1009, 1995.
Ulrike Lechner, C. Lengauer, and Martin Wirsing. An object-oriented airport. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specification, volume 906 of Lecture Notes in Computer Science, pages 351–367. Springer Verlag, 1995.
John N. Crossley, Luis Mandel, and Martin Wirsing. Cálculo Lambda de Primer Orden y la Propiedad Church–Rosser. In Proceedings of the Congress CACIC'95 Congreso Argentino de Ciencias de la Computación, pages 493–504, October 1995. (in spanish).
M. Nenninger and F. Nickl. Implementing data structures by composition of reusable components: a formal approach. In M. Wirsing, editor, ICSE-17 Workshop on Formal Methods Applications in Software Engineering Practice, pages 134–141, 1995.
P. Pepper and Marting Wirsing. A method for the development of correct software. In M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software. Final Report, volume 1009 of Lecture Notes in Computer Science. Springer Verlag, 1995.
Martin Wirsing. Algebraic specification languages: An overview. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specification, volume 906 of Lecture Notes in Computer Science, pages 351–367. Springer Verlag, 1995.
Martin Wirsing, Friederike Nickl, and Ulrike Lechner. Concurrent object-oriented specification in spectrum. In Y. Inagaki, editor, Workshop on Algebraic and Object-Oriented Approaches to Software Science, Nagoya/Japan, pages 39–70. Nagoya University, March 1995.
Martin Wirsing and Piotr Kosiuczenko. Timed rewriting logic. In H. Schwichtenberg, editor, Proceedings of the International Summer School on Proof and Computation, Marktoberdorf, NATO-ASI Series. Springer Verlag, 1995.
Piotr Kosiuczenko and Martin Wirsing. Timed Rewriting Logic for the Specification of Time-Sensitive Systems. In H. Schwichtenberg, editor, Proceedings of the International Summer School on Proof and Computation, NATO-ASI Series. Springer Verlag, 1995.
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.