@INPROCEEDINGS{JenJoeKlaSch:AutVerPoinProgMonSecOrdLog,
	AUTHOR = {Jacob L. Jensen and Michael E. Joergensen and Nils Klarlund and Michael
I. Schwartzbach},
	TITLE = {Automatic Verification of Pointer Programs using Monadic Second-order Logic},
	BOOKTITLE = {PLDI '97},
	YEAR = {1997},
}