Gérard Berry, Bruno Courcelle
Program Equivalence and Canonical Forms in Stable Discrete Interpretations
ICALP, 1976.
@inproceedings{ICALP-1976-BerryC,
author = "Gérard Berry and Bruno Courcelle",
booktitle = "{Proceedings of the Third International Colloquium on Automata, Languages and Programming}",
isbn = "0-85224-308-1",
pages = "168--188",
title = "{Program Equivalence and Canonical Forms in Stable Discrete Interpretations}",
year = 1976,
}