Stefan Blom Wan Fokkink Jan Friso Groote Izak van Langevelde Bert Lisser Jaco van de Pol µCRL: A Toolset for Analysing Algebraic Specifications. 250-254 2001 conf/cav/2001 CAV http://link.springer.de/link/service/series/0558/bibs/2102/21020250.htm db/conf/cav/cav2001.html#BlomFGLLP01