P. A. G. Sivilotti. Specifying and testing the progress properties of distributed components. May 1999. 21st International Conference on Software Engineering ICSE.
author author author author title title title title title title title title title date date booktitle booktitle booktitle booktitle booktitle booktitle booktitle