de Pol. CRL: a toolset for analysing algebraic specifications (2001)

by S C C Blom, W J Fokkink, J F Groote, I A van Langevelde, B Lisser, J C van
Venue:In