@inproceedings{PLDI-1996-FlanaganFKWF,
	author        = "Cormac Flanagan and Matthew Flatt and Shriram Krishnamurthi and Stephanie Weirich and Matthias Felleisen",
	booktitle     = "{Proceedings of the 17th Conference on Programming Language Design and Implementation}",
	doi           = "10.1145/231379.231387",
	editor        = "Charles N. Fischer",
	isbn          = "0-89791-795-2",
	pages         = "23--32",
	publisher     = "{ACM}",
	title         = "{Static Debugging: Browsing the Web of Program Invariants}",
	year          = 1996,
}