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.
Catalan Herman Goldstine Cited by user Ferran Mir on 21 Jun 2022 va ser un matemàtic i científic de la computació estatunidenc.