ZB 2005: formal specification and development in Z and B / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.