Ralf Hinze1965BooksDatatype-generic ProgrammingDeduktive DatenbankenEinführung in die funktionale Programmierung mit MirandaDeduktive DatenbankenMathematics of Program ConstructionImplementation and Application of Functional LanguagesAuthor data: Open Library