Circular Coinductive Rewriting (2000)

by Joseph Goguen, Kai Lin, Grigore Rosu
Venue:In Proceedings of Automated Software Engineering 2000