В данном обсуждении http://www.linux.org.ru/view-message.jsp?msgid=3642408 был высказан тезис об отсутствии книги "Guy Cousineau and Michel Mauny. The Functional Approach to Programming" в электронном виде. Отныне это не так. Ссылку не выкладываю, ибо варез, но найти несложно например тут: gigapedia.com.