Helle Hvid HansenBooksLogic, Language, and ComputationCoalgebraic Methods in Computer ScienceAuthor data: Open Library