Fraus, U. (1994). Inductive theorem proving for algebraic specifications: TIP system user's manual.
Chicago-Zitierstil (17. Ausg.)Fraus, Ulrich. Inductive Theorem Proving for Algebraic Specifications: TIP System User's Manual. Passau, 1994.
MLA-Zitierstil (9. Ausg.)Fraus, Ulrich. Inductive Theorem Proving for Algebraic Specifications: TIP System User's Manual. 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.