CSP-OZ: a combination of Object-Z and CSP (1997)

by C Fischer
Venue:Chapman and Hall, Boca Raton