Books of Maurice Naftalin and Philip Wadler