Aplikácia OCL v UML profiloch - Balko, Imrich (STU v Bratislave FIIT, 2007)