Michael I. Schwartzbach, Mogens Nielsen, International Joint Conference on Theory and Practice of Software Development (6th 1995 Aarhus, Denmark), Denmark) Colloquium on Trees in Algebra and Programming (1995 : Aarhus, Peter D. Mosses, Portugal) ETAPS 98 (1998 : Lisbon
