The Category-Theoretic Solution of Recursive Domain Equations (1982)

by M B Smyth, G D Plotkin
Venue:SIAM J. on Computing (SICOMP