by: Portugal) ETAPS 98 (1998 : Lisbon · Mogens Nielsen · Colloquium on Formal Approaches of Software Engineering · Peter D. Mosses · Denmark) Colloquium on Trees in Algebra and Programming (1995 : Aarhus · Michael I. Schwartzbach
Paperback
ISBN: 978-0-387-59293-0
ISBN-10: 0-387-59293-8
Springer Verlag · 1995