fic : Mechanical-Program-Analysis-Wegbreit-1978.pdf

fic : Symbolic-execution-and-Program-Testing-King-1976.pdf

fic : A-Program-Testing-System-Clarke-1976.pdf

fic : Proving properties of programs by structural induction-Burstall-1969.pdf