@inproceedings{mfcsit00,
  author = {J.I. den Hartog and Vink, E.P. de and Bakker, J.W. de},
  title = {Metric semantics and full abstraction for action refinement
           and probabilistic choice},
  booktitle = {Proc. MFCSIT'00},
  editor = {T. Hurley and M. Mac-an-Airchinnigh and M. Schellekens and T. Seda},
  city = {Cork},
  publisher = {ENTCS~40},
  year = {2002}
}