<i>InterACT</i>: An Interactive Theorem Prover for Algebraic Specifications.

Robert Geisler Marcus Klar Felix Cornelius <i>InterACT</i>: An Interactive Theorem Prover for Algebraic Specifications. 563-566 1996 conf/amast/1996 AMAST db/conf/amast/amast96.html#GeislerKC96 http://dx.doi.org/10.1007/BFb0014342