Promises: Limited Specifications for Analysis and Manipulation. - Edwin C. Chan; John Boyland; William L. Scherlis (ICSE, 1998)