Irène Guessarian
Semantic Equivalence of Program Schemes and its Syntactic Characterization
ICALP, 1976.
@inproceedings{ICALP-1976-Guessarian,
author = "Irène Guessarian",
booktitle = "{Proceedings of the Third International Colloquium on Automata, Languages and Programming}",
isbn = "0-85224-308-1",
pages = "189--200",
title = "{Semantic Equivalence of Program Schemes and its Syntactic Characterization}",
year = 1976,
}