Program verification (1985)

by Robert S Boyer, J Strother Moore
Venue:Journal of Automated Reasoning