Automata andcoinduction (an exercise in coalgebra), Report SEN-R9803, CWI (1998)

by J J M M Rutten
Venue:Also in the Proc. CONCUR ’98, Lecture Notes in Computer Science