Data Abstraction for {CSP-OZ} Wehrheim, Heike M. Wing, Jeannette Woodcock, Jim Davies, Jim 1999 info:eu-repo/semantics/conferenceObject doc-type:conferenceObject text http://purl.org/coar/resource_type/c_5794 https://ris.uni-paderborn.de/record/3253 Wehrheim H. Data Abstraction for {CSP-OZ}. In: M. Wing J, Woodcock J, Davies J, eds. <i>FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}</i>. Lecture Notes in Computer Science. ; 1999:1028--1047. doi:<a href="https://doi.org/10.1007/3-540-48118-4_5">10.1007/3-540-48118-4_5</a> info:eu-repo/semantics/altIdentifier/doi/10.1007/3-540-48118-4_5 info:eu-repo/semantics/closedAccess