PakCat catalogue record Program Construction Calculating Implementations From Specifications I By Backhouse, Roland Bibliographic details PublisherJohn Wiley & Sons Publication placeEngland Publication year2003 LanguageEnglish Material typeBook Physical description340 pages.