@inbook{inbook, title  = {{Maintaining Cross Viewpoint Consistency using Z}},

 publisher = {{Springer US}},

 url = {{}},

 year = {{1995}},

 month = {{2}},

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

 doi = {{10.1007/978-0-387-34882-7_32}},

 isbn = {{9781475760743}},

 pages = {{413-424}},

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