Applicative high order programming the standard ML perspective - Sokołowski, Stefan (Chapman & Hall, 1991)