Dokazatel'stvo pravil'nosti programm - Anderson, Robert B (Mir, 1982)
Prijevod djela: Proving programs correct. - New York... [etc.] : John Wiley & Sons, 1979