@inproceedings{OOPSLA-2007-ShanerLN,
	author        = "Steve M. Shaner and Gary T. Leavens and David A. Naumann",
	booktitle     = "{Proceedings of the 22nd Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	doi           = "10.1145/1297027.1297053",
	editor        = "Richard P. Gabriel and David F. Bacon and Cristina Videira Lopes and Guy L. Steele Jr.",
	isbn          = "978-1-59593-786-5",
	pages         = "351--368",
	publisher     = "{ACM}",
	title         = "{Modular verification of higher-order methods with mandatory calls specified by model programs}",
	year          = 2007,
}