Irene Greif
On Proofs of Programs for Synchronization
ICALP, 1976.
@inproceedings{ICALP-1976-Greif, author = "Irene Greif", booktitle = "{Proceedings of the Third International Colloquium on Automata, Languages and Programming}", isbn = "0-85224-308-1", pages = "494--507", title = "{On Proofs of Programs for Synchronization}", year = 1976, }