Bird-Meertens formalism

Today it means: A calculus for deriving programs from program specifications (in a functional programming setting) by a process of equational reasoning. Full definition →