David Harel. Recursion in Logics of Programs. In Barry K. Rosen, Alfred V. Aho, Stephen N. Zilles , editors, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming language. pages 81-92, ACM, 1979. [doi]
@inproceedings{Harel79:0,
title = {Recursion in Logics of Programs},
author = {David Harel},
year = {1979},
doi = {10.1145/567752.567760},
url = {http://doi.acm.org/10.1145/567752.567760},
tags = {completeness, logic programming, programming, context-aware, logic},
researchr = {https://researchr.org/publication/Harel79%3A0},
cites = {0},
citedby = {0},
pages = {81-92},
booktitle = {Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming language},
editor = {Barry K. Rosen and Alfred V. Aho and Stephen N. Zilles },
publisher = {ACM},
}