Peter Padawitz Inductive Theorem Proving for Design Specification. 41-99 1996 21 J. Symb. Comput. 1 db/journals/jsc/jsc21.html#Padawitz96