Поиск в словарях
Formal method
математика
формальный метод