Programming concepts and methods : Proc. of the IFIP working group 2.2/2.3 working conf. on programming concepts and methods Sea of Galilee, Israel, 2-5 Apr., 1990 / Ed.: M. Broy, C. B. Jones, 1990. - VIII,581 p. p. - Текст : непосредственный.
Formal methods and hybrid real-time systems : essays in honor of dines bjГёrner and chaochen zhou on the occasion of their 70th birthdays / ed. C. B. Jones, 2007 r=on-line
Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, Macau, China, September 26-28, 2007: proceedings / ed. C. B. Jones, 2007 r=on-line
Mural : A formal development support system / C.B.Jones,K.D.Jones,P.A.Lindsay,R.Moore, 1991. - XIII,421 p. p. - Текст : непосредственный.