@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 2025/07/12}}}