Promises: Limited Specifications for Analysis and Manipulation.

Edwin C. Chan, John Boyland, William L. Scherlis

Browse the full ICSE paper archive.