Specifying Coalgebras with Modal Logic (1998)

by A Kurz
Venue:Proc. CMCS 1998, Elsevier ENTCS 11