| English | Russian |
| compiler type checks on external functions | проверка компилятором типов внешних функций (Alex_Odeychuk) |
| external function block logic | представительная логика функционального блока (ssn) |
| external function block logic | внешняя логика функционального блока (ssn) |
| external function testing | тестирование внешних функций (контроль внешнего поведения системы, определенного внешними спецификациями ssn) |