David C. Luckham Sriram Sankar Shuzo Takahashi Two-Dimensional Pinpointing: Debugging with Formal Specifications. 74-84 1991 8 IEEE Software 1 db/journals/software/software8.html#LuckhamST91