Exercises in coalgebraic specification (2000)

by B Jacobs
Venue:In Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction