@inproceedings{inproceedings, title  = {{Comparing LOTOS and Z Refinement Relations.}},

 publisher = {{Chapman & Hall}},

 url = {{http://www.informatik.uni-trier.de/~ley/db/conf/forte/forte1996.html }},

 year = {{1996}},

 month = {{1}},

 author = {{Derrick J and Bowman H and Boiten EA and Steen M}},

 volume = {{69}},

 journal = {{FORTE}},

 pages = {{501-516}},

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