Compiler and tool support for debugging object protocols. - Sergey Butkevich; Marco Renedo; Gerald Baumgartner; Michal Young (SIGSOFT FSE, 2000)