Bird, R.S. "A Calculus of Functions for Program Derivation", in Res Topics in Fnl Prog, D. Turner ed, A-W 1990.

Languages mentioned

• BMF {1990}
• Squigol {1986}