An interactive system for the verification of computer programs (1973)

by B Elspas, K N Levitt, R J Waldinger
Venue:Final rep., Project 1891, Stanford Res. Inst., Menlo Park, Calif