| Subject | English | Russian |
| progr. | formalization of software object type system | формализованное описание системы типов программных объектов (ssn) |
| progr. | formalized description of software object type system | формализованное описание системы типов программных объектов (ssn) |
| progr. | software object type system | система типов программных объектов (ssn) |
