A Structured Design-Method for Specialized Proof Procedures (1975)

by Thomas Carl Brown