APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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