В 1954 году группа американских специалистов опубликовала первое сообщение об этом языке. Его название происходит от словосочетания «преобразование формул». О каком языке идёт речь?