bˈɜːd mˈɪɹʔn̩z fˈɔːɹməlˌɪzəm, ɐ kˈælkjʊləs fɔːɹ dᵻɹˈaɪvɪŋ kəmpjˈuːɾɚ pɹˈoʊɡɹæmz fɹʌm spˌɛsɪfɪkˈeɪʃənz baɪ ɐ pɹˈɑːsɛs ʌv ɪkwˈeɪʃənəl ɹˈiːzənɪŋ
Bird–Meertens formalism, a calculus for deriving computer programs from specifications by a process of equational reasoning