"Two-Dimensional Pinpointing: Debugging with Formal Specifications."

David C. Luckham, Sriram Sankar, Shuzo Takahashi (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics