GD Plotkin [Nov 1982], "The category-theoretic solution of recursive domain equations (0)

by MB Smyth
Venue:SIAM Journal of Computing