@inproceedings{CW03b,
  author    = {Dave Clarke and Tobias Wrigstad},
  title     = {External Uniqueness is Unique Enough},
  booktitle = {European Conference on Object-Oriented Programming (ECOOP'03)},
  pages     = {176--200},
  year      = 2003,
  editor    = {Luca Cardelli},
  volume    = 2743,
  series    = {LNCS},
  address   = {Darmstadt, Germany},
  month     = {July},
  pubcat    = {conference},
}