Abstract Specification in Object-Z and CSP.

Graeme Smith, John Derrick

Browse the full ICFEM paper archive.