Raul Monroy Alan Bundy Ian Green Planning Equational Verification in CCS. 43-52 1998 ASE http://dlib.computer.org/conferen/ase/8750/pdf/87500043.pdf db/conf/kbse/ase1998.html#MonroyBG98