Hafner M. Security engineering for service-oriented architectures / M. Hafner, R. Breu, 2008 r=on-line. - Текст : электронный.
Breu R. Algebraic specification techniques in object oriented programming environments / R.Breu, 1991. - 228 p. - Текст : непосредственный.