FRANCEZ, N., AND KOZEN, D. Generalized fair termination. In Proceedings of the llth ACM Symposium on the Principles of Programming Languages. Salt Lake City, Utah, Jan 15-18 1984, pages 46-53.
author author author author author title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle location location location location date date date pages pages