(1) A Computational Introduction to Number Theory and Algebra Victor Shoup ISBN: 9780521516440 Cambridge University Press View at publisher
(2) Algebraic Specification of Communication Protocols S. Mauw; G. J. Veltink ISBN: 9780521088121 Cambridge University Press View at publisher
(3) Data Refinement: Model-Oriented Proof Methods and their Comparison Willem-Paul de Roever; Kai Engelhardt ISBN: 9780521103503 Cambridge University Press View at publisher
(4) Design, Measurement and Management of Large-Scale IP Networks: Bridging the Gap Between Theory and Practice Antonio Nucci; Konstantina Papagiannaki ISBN: 9780521880695 Cambridge University Press View at publisher