@inproceedings{3253,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}}},
  editor       = {{M. Wing, Jeannette and Woodcock, Jim and Davies, Jim}},
  pages        = {{1028----1047}},
  title        = {{{Data Abstraction for {CSP-OZ}}}},
  doi          = {{10.1007/3-540-48118-4_5}},
  year         = {{1999}},
}