@article{3248,
  author       = {{Wehrheim, Heike}},
  journal      = {{Formal Asp. Comput.}},
  number       = {{3}},
  pages        = {{147----164}},
  title        = {{{Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}}},
  doi          = {{10.1007/s001650070026}},
  year         = {{2000}},
}