@inproceedings{KoutavasWand06popl,
  author = {Vasileios Koutavas and Mitchell Wand},
  title = {Small Bisimulations for Reasoning About Higher-Order Imperative Programs},
  booktitle = {POPL '06: Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages},
  year = {2006},
  pages = {141--152},
  isbn = {1-59593-027-2},
  location = {Charleston, South Carolina, USA},
  publisher = {ACM Press},
  address = {New York, NY, USA},
}