Automata and coinduction (an exercise in coalgebra (1998)

by J. J. M. M. Rutten
Venue:LNCS
Citations:63 - 16 self