Axiomatic Approach to Total Correctness of Programs. AIM-210

purl.stanford.edu/hh392jk6720