PakCat catalogue record Software abstractions logic, language and analysis By Jackson, Daniel Bibliographic details ISBN0262101149 PublisherMIT Press Publication placeCambridge, Mass. Publication year2006 LanguageEnglish Material typeBook Physical descriptionxvi, 350 p. SubjectsComputer software