Title: Correctness proofs of APALI programs
First published: 1986