APA-Zitierstil (7. Ausg.)

Wirth, C. (1997). Positive - negative conditional equations: A constructor-based framework for specification and inductive theorem proving. Kovač.

Chicago-Zitierstil (17. Ausg.)

Wirth, Claus-Peter. Positive - Negative Conditional Equations: A Constructor-based Framework for Specification and Inductive Theorem Proving. Hamburg: Kovač, 1997.

MLA-Zitierstil (9. Ausg.)

Wirth, Claus-Peter. Positive - Negative Conditional Equations: A Constructor-based Framework for Specification and Inductive Theorem Proving. Kovač, 1997.