Sivagurunathan, Yogasundary; Harman, Mark and Danicic, Sebastian. 1997. Slicing, I/O and the implicit state. In: Mariam Kamkar, ed. 3rd International Workshop on Automated Debugging ( AADEBUG'97 ), volume 2 of Linköping Electronic Articles in Computer and Information Science. Linköping, Sweden: , pp. 59-65 [Book Section]