Engineering theories of software construction : Proc.of the NATO advanced study inst.on engineering theories of software construction, 25 Jul.-6 Aug. 2000, Marktoberdorf / Ed. T. Hoare, 2001. - IX, 357 p. 357 p. - Текст : непосредственный.