PakCat catalogue record Xml The Annotated Specification By Ducharme, BoB Bibliographic details ISBN0130826766 Publisherprentice hall Publication placeamerica Publication year1999 Material typeBook Physical descriptionxix, 339p.