A Generic Theorem Prover of CSP Refinement (2005)

by Yoshinao Isobe, Markus Roggenbach
Venue:In Tools and Algorithms for the Construction and Analysis of Systems