Dokazatel'stvo pravil'nosti programm - Anderson, Robert B. (Mir - Moskva, 1982)