Inductive theorem proving for algebraic specifications TIP system user's manual - Fraus, Ulrich (1994)