Roy CroleBooksAlgebraic and Coalgebraic Methods in the Mathematics of Program ConstructionAuthor data: Open Library