A generic theorem prover of CSP refinement (2005)

by Yoshinao Isobe, Markus Roggenbach
Venue:In TACAS 2005, LNCS 3440