Axiomatising logic of computer programming - Goldblatt Robert (Berlin Springer-Verlag, 1982)
Keywords: Computer programming