From Comodels to Coalgebras: State and Arrays (2004)

by A J Power, O Shkaravska
Venue:Proc. CMCS 2004, ENTCS 106