Authors
Claus-Peter Wirth
Title
Positive/Negative-Conditional Equations: A Constructor-Based Framework for Specification and Inductive Theorem Proving
Copyright
PhD thesis, ISBN 3-86064-551-X, Verlag Dr. Kovac, Hamburg, 1997,
Bibtex Entry
Revised online version without cover, August 2004
Abstract
PS.GZ