Research in Interactive ProgramProving Techniques (1972)

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