Ein Fachbuch, das die Ergebnisse des zweiten internationalen Workshops zu bedingten und typisierten Umformungssystemen aus Montreal (1990) zusammenfasst; es beleuchtet theoretische Konzepte, algorithmische Techniken und deren Einsatz in der formalen Analyse.