Rigorous Software Development : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa., 2011 r=on-line (Введено оглавление). - Текст : электронный.