@inproceedings{CW03a,
  author    = {Dave Clarke and Tobias Wrigstad},
  title     = {External Uniqueness},
  booktitle = {10th Workshop on Foundations of Object-Oriented Languages (FOOL)},
  year      = {2003},
  month     = {January},
  address   = {New Orleans, LA},
  pubcat    = {workshop},
}