ELEMENTS OF FUNCTIONAL LANGUAGES (COMPUTER SCIENCE TEXTS) - HENSON,NARTIN C (BPC LONDON, 1987)