@misc{KoutavasWand07classequiv,
  author    = {Vasileios Koutavas and Mitchell Wand},
  title     = {Reasoning About Class Behavior},
  year      = {2007},
  month     = {jan},
  note      = {Appeared in FOOL/WOOD 2007},
}