Fixed point calculus (2002)

by R C Backhouse
Venue:Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, volume 2297 of LNCS