The category theory solution of recursive domain equations (1982)

by M B Smyth, G D Plotkin
Venue:SIAM Journal of Computing