Calculating functional programs (2002)

by J Gibbons
Venue:Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, volume 2297 of LNCS, chapter 5