J. DarlingtonBooksFunctional programming and its applicationsLEAVINGA semantic approach to automatic program improvementAuthor data: Open Library