@inbook{inbook, title  = {{Supporting ODP - Translating LOTOS to Z}},

 publisher = {{Springer US}},

 url = {{}},

 year = {{1997}},

 month = {{2}},

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

 doi = {{10.1007/978-0-387-35082-0_29}},

 isbn = {{9781504128759}},

 pages = {{399-406}},

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