Bibliography on Proving the Correctness of Computer Programs - Addition No. 1

Abstract

The continued research activity in proving the correctness of computer programs and the widespread interest in my previous program proving bibliography (London 1970a) encourage me to compile these additional updating citations. The selection criteria remain essentially unchanged; only the form of the citation is trivially changed. As before, I would he most interested in learning of corrections and additional citations to update matters.