Англо-український словник технічних термінів
formal power series
Формальний степеневий ряд
Англо-український словник технічних термінів
formal parameter
formal program validation