The category-theoretic solution of recursive domain equations (1982)

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