Зведений каталог бібліотек Харкова
Ольхович, Л. Б. Метод автоматической валидации UML-спецификации на основе языка OCL. [Текст] / Механико-математический факультет Санкт-Петербургского государственного университета // Программирование. — 2003. — С. 44-50.
- Є складовою частиною документа:
Программирование [Текст] // Программирование ; РАН - М. : Наука. — 2003.
- Теми документа