@inproceedings{inproceedings, title  = {{Modelling distributed systems using Z.}},

 publisher = {{ACM}},

 url = {{https://doi.org/10.1145/315891 }},

 year = {{1995}},

 month = {{1}},

 author = {{Bowman H and Derrick J}},

 journal = {{SAC}},

 pages = {{147-151}},

 note = {{Accessed on 2024/12/26}}}