@inproceedings{231387,
 author = {Cormac Flanagan and Matthew Flatt and Shriram Krishnamurthi and Stephanie Weirich and Matthias Felleisen},
 title = {Catching bugs in the web of program invariants},
 booktitle = {Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation},
 year = {1996},
 isbn = {0-89791-795-2},
 pages = {23--32},
 location = {Philadelphia, Pennsylvania, United States},
 doi = {http://doi.acm.org/10.1145/231379.231387},
 publisher = {ACM Press},
 }