Brookes, Indulska, 1995. ODP Types and Their Management: an Object-Z Specification, in: . Springer US.. https://doi.org/10.1007/978-0-387-34882-7_33