Tämä oppikirja julkaistiin ensimmäisen kerran vuonna 1998, ja se on laaja mutta täsmällinen katsaus ohjelmointikielten suunnittelun, määrittelyn ja toteutuksen teoreettiseen perustaan sekä ohjelmien käyttäytymisen määrittely- ja todistamisjärjestelmiin. Siinä käsitellään sekä pakollista että toiminnallista ohjelmointia sekä tapoja integroida nämä näkökohdat yleisempiin kieliin. Kirjoittaja tunnustaa tekniikan yhtenäisyyden ohjelmointikielten tutkimuksen monimuotoisuuden alla ja esittelee integroidun käsittelyn aiheen perusperiaatteista. Hän tunnistaa suhteellisen pienen määrän käsitteitä, kuten koostumussemantiikka, sitova rakenne, alueet, siirtymäjärjestelmät ja päättelysäännöt, jotka toimivat alan perustana. Olettaen, että vain perusohjelmoinnin ja matematiikan tuntemus, tämä teksti sopii erinomaisesti ohjelmointikielen teorian edistyneille perustutkinto- ja aloituskursseille ja vetoaa myös tutkijoihin ja ammattilaisiin tietokonekielten suunnittelussa tai toteuttamisessa. Kieli: englanti