Just do it: simple monadic equational reasoning.

Jeremy Gibbons, Ralf Hinze

Browse the full ICFP paper archive.