Backhouse R. C. Program construction and verification / R. C. Backhouse, 1986. - XI, 281 p. с. - Текст : непосредственный.