Formal methods and software engineering : 11th International сonference on normal ingineering methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009: proceedings / ed. K. Breitman, 2009 r=on-line. - Текст : электронный.
Breitman K. Semantic web: concepts, technologies and applications / K. Breitman, M. Casanova, W. Truszkowski, 2007 r=on-line. - Текст : электронный.