Rigorous methods for software construction and analysis : essays dedicated to egon borger on the occasion of his 60th birthday / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.