Tarmo UustaluBooksTheoretical Aspects of Computing – ICTAC 2018Mathematics of Program ConstructionAdvanced Functional ProgrammingAuthor data: Open Library