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