The category theoretic solution of recursive domain equations (1982)

by M B Smyth, G D Plotkin
Venue:In Proceedings of the Twenty-eighth International Colloquium on Automata, Languages and Programming