English Bird–Meertens formalism Cited by user MaD70 on 26 Dec 2022 The Bird–Meertens formalism (BMF) is a calculus for deriving programs from specifications (in a functional-programming setting) by a process of equational reasoning.