B 2007: formal specification and development in B : 7th international conference of B users, Besancon, France, January 17-19, 2007: proceedings / eds. J. Julliand, O. Kouchnarenko, 2006 r=on-line. - Текст : электронный.