Promises: Limitied specifications for analysis and manipulation (1998)

by E C Chan, J T Boyland, W L Scherlis
Venue:in: IEEE International Conference on Software Engineering (ICSE