https://dds.las.ac.cn/service/document?appId=a1vacbnPuv9qJRzJvdNXfsesj9JbIa6e&appKey=sPBA4vANLzjnW1k5eufEcc4k7dxfNraW&ts=1763029732765&signature=d5456336c7271487d04048e0a804c689&articleTitle=Central+European+Functional+Programming+School&articleAuthor=Zolt%C3%A1n+Horv%C3%A1th&publicationTitle=Central+European+Functional+Programming+School&language=&publicationType=1&publishYear=2006&isn=9783540468431&publisher=Springer+Berlin+Heidelberg