Programming Languages: Build, Prove, – Hardcover, by Ramsey Norman – Very GoodBy Ramsey, Norman. Programming Languages: Build, Prove, and Compare.