Rigorous software development [Electronic resource] : an introduction to program verification / J. B. Almeida [et al.]. - Electronic text data. - London : Springer, 2011. - (Undergraduate topics in computer science, ISSN 1863-7310). - ISBN 978-0-85729-018-2 : Б. ц.