Foundations of computer software. Future trends and techniques for development : 15th monterey workshop 2008, Budapest, Hungary, September 24-26, 2008: revised selected papers / ed. C. Choppy, O. Sokolsky, 2010 r=on-line. - Текст : электронный.
Recent trends in data type specification:8th workshop on specification of abstract data types with 3rd COMPASS workshop,Dourdan Aug.26-30,1991 : Selected papers / Ed.by: M. Bidoit, C. Choppy, 1993. - 344 p. - Текст : непосредственный.