Zohar Manna, Jean Vuillemin
Fixpoint Approach to the Theory of Computation
ICALP, 1972.
@inproceedings{ICALP-1972-MannaV,
author = "Zohar Manna and Jean Vuillemin",
booktitle = "{Proceedings of the Colloquium on Automata, Languages and Programming}",
isbn = "0-7204-2074-1",
pages = "273--291",
title = "{Fixpoint Approach to the Theory of Computation}",
year = 1972,
}