Implementation and Application of Functional Languages - Horváth, Zoltán; Butterfield, Andrew; Kanade, Takeo; Zsók, Viktória; Kittler, Josef (Springer Berlin Heidelberg, 2007)