برمجة وظيفية, تحسين البرمجيات, رياضيات, علوم الحاسوب

صيغة بيرد-ميرتينز (Bird–Meertens Formalism)