Terms for subject Programming containing mathematical notion

English	Russian
Abstract data types are a mathematical notion, suitable for the specification stage	Абстрактные типы данных являются математическим понятием, пригодным на этапе подготовки спецификации (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn)
mathematical notion, suitable for the specification stage	математическое понятие, пригодное на этапе подготовки спецификации (ssn)