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