M.: Languages for coalgebras on datafunctors (1999)

by Rößiger
Venue:Coalgebraic Methods in Computer Science, volume 19 of ENTCS