Find the best Dover Publications Functional Programming Through Lambda Calculus alternatives