The category theoretic solution of recursive domain equations (1982)

by M B Smyth, G D Plotkin
Venue:SIAM Journ. Comput