csp2B: A practical approach to combining CSP and B (1999)

by M J Butler
Venue:FM’99: World Congress on Formal Methods, Vol. I, volume LNCS 1708