TY  - CHAP

T1  - Supporting ODP - Translating LOTOS to Z

T2  - IFIP Advances in Information and Communication Technology

PY  - 1997/02/03

AU  - Derrick J

AU  - Boiten EA

AU  - Bowman H

AU  - Steen MWA

ED  - 

DO  - DOI: 10.1007/978-0-387-35082-0_29

PB  - Springer US

SN  - 9781504128759

SP  - 399

EP  - 406

Y2  - 2024/10/23

ER  -