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

by S Blom, W Fokkink, J Groote, I v Langevelde, B Lisser, J van
Venue:In Proc. 13th Conference on Computer Aided Verification, LNCS 2102