Classic PLT book, now free online for borrowing thanks to the Internet Archive.
Contains the essay by W. Howard on “The Formula-as-Types Notion of Construction”. I haven’t found that anywhere else.
Special thanks to Mitch Wand for donating the book and to Breandan Considine for supporting the upload.