Promises: Limited Specifications for Analysis and Manipulation

Edwin C. Chan, John Boyland, William L. Scherlis. Promises: Limited Specifications for Analysis and Manipulation. In ICSE. pages 167-176, 1998.