@inproceedings{shaner_leavens_naumann_2007, 
  title={Modular verification of higher-order methods with mandatory calls specified by model programs}, 
  DOI={10.1145/1297027.1297053}, 
  publisher={ACM Press}, 
  author={Shaner and Leavens and Naumann}, 
  year={2007}
  }