Formal verification of process algebra systems. - Michael James Compton (2008)