Доказательство правильности программ - Андерсон Р. (Мир, 1982)