An introduction to the category-theoretic solution of recursive domain equations (1988)

by R Bos, C Hemerik