M.: Structured specifications and interactive proofs with KIV (1998)

by W Reif, G Schellhorn, K Stenzel, Balser
Venue:Automated Deduction— A Basis for Applications. Volume II: Systems and Implementation Techniques