Bird Meertens Formalism

Program-Transformation.Org: The Program Transformation Wiki
The Bird-Meertens Formalism (also called Squiggol) is a calculus for deriving programs from specifications (in a functional program setting) devised by RichardBird and LambertMeertens.

See Also