Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras - Monika Seisenberger (Lecture Notes In Computer Science, 2011)