Circular Coinductive Rewriting (2000)

by J Goguen, K Lin, G Ro¸su
Venue:In Proc. Automated Software Engineering ’00, IEEE