Dokazatel'stvo pravil'nosti programm - Anderson, Robert B. (Moskva : Mir, 1982)
Z angl. orig.: Proving programs correct