PakCat catalogue record Mathematical design; building reliable complex computer systems Bibliographic details PublisherI E E E Press Publication placeNY Publication year1998