Research in Interactive Program-Proving Techniques (1972)

by B Elspas, M W Green, K N Levitt, R J Waldinger