Fischer, Clemens "CSP-OZ: a combination of object-Z and CSP" Proceeding of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems Canterbury, United Kingdom 1997 pp423-438

Languages mentioned

• CSP-OZ {1997}