Algebraic And Coalgebraic Methods In The Mathematics Of Program Construction door Jeremy Gibbons & Roland Backhouse