A generic theorem prover of CSP refinement. (2005)

by Y Isobe, M Roggenbach
Venue:TACAS 2005, LNCS 3440,