Abstract Specification of Automated Reasoning Tools: An Ada-Logic Interface. Program Analysis and Verification (1989)

by Neel Madhav, Walter Mann