Barbuceanu M. Concurrent refinement of structured objects : A declarative language for knowledge systems programming / M.Barbuceanu,S.Trausan-Matu,B.Molnar, 1989. - 42 мкфш. - Текст : непосредственный.