Exercises in Coalgebraic Specification (2002)

by B Jacobs
Venue:Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Springer LNCS 2297