A Simple Lambda-Calculus Model Of Programming Languages by S Kamal Abdali