Guarded induction on final coalgebras /
Pavlović, Dusko.
University of Sussex.Computer Science.
Brighton : Computer Science, University of Sussex,
1998.
Includes bibliographical references.
Induction (Mathematics)
Algebra.