BMF

Bird-Meertens Formalism. Also known as Squiggol.

A calculus for the derivation of a functional program from a given specification.

"A Calculus of Functions for Program Derivation", R. S. Bird, in Research Topics in Functional Programming, David A. Turner ed, Addison-Wesley, 1990.

"The Squiggolist", ed Johan Jeuring, published at irregular intervals by CWI Amsterdam.