National Centre for Software Development and Computing Techniques
Conference on Foundations of Software Technology and Theoretical Computer Science

Apt, K., Pnueli, A., & Stavi, J. (1982). Fair termination revisited with delay. In Proceedings of Conference on foundation of software technology and theoretical computer science 1982 (pp. 146–170). National Centre for Software Development and Computing Techniques.