Reflections on the work of C.A.R. hoare / ed. A. Roscoe [et al.], 2010 r=on-line. - Текст : электронный.