@article{article, title  = {{Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP}},

 url = {{}},

 year = {{2001}},

 month = {{5}},

 author = {{Smith G and Derrick J}},

 volume = {{18}},

 journal = {{FORM METHOD SYST DES}},

 issue = {{3}},

 pages = {{249-284}},

 note = {{Accessed on 2025/04/29}}}