Philip S. Mulry Categorical Fixed Point Semantics. 85-97 1990 70 Theor. Comput. Sci. 1 db/journals/tcs/tcs70.html#Mulry90