this volume (1998)

by R Bruni, U Montanari
Venue:Proc. 12th WADT Workshop on Algebraic Development Techniques, Spinger LNCS