Automata and coinduction (an exercise in coalgebra (1998)

by J J M M Rutten
Venue:Proc. CONCUR ’98, Springer LNCS 1466