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,
}