TY - CONF AU - Wehrheim, Heike ED - M. Wing, Jeannette ED - Woodcock, Jim ED - Davies, Jim ID - 3253 T2 - FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II} TI - Data Abstraction for {CSP-OZ} ER -