Programming Languages: Application and Interpretation by Shriram Krishnamurthi 🕑 19 years ago; via keithdevens.com; try the Wayback Machine | edit Full book for download in PDF form.