Circular Coinduction (2001)

by Grigore Rosu, Joseph Goguen
Venue:In Circular Coinduction. International Joint Conference on Automated Reasoning (IJCAR'01