Automata and coinduction (an exercise in coalgebra (1998)

by J J M M Rutten
Venue:In Proc. CONCUR 1998, volume 1466 of LNCS