Promises: Limitied speci for analysis and manipulation (1998)

by Edwin C Chan, John T Boyland, William L Scherlis
Venue:In IEEE International Conference on Software Engineering (ICSE