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