Functional Logic - Melzer, J. H. (Wm. C. Brown Co. Iowa, 1957)