Process Algebra (Cambridge Tracts in Theoretical ... by Weijland, W. P. Hardback

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Nu,

Cambridge Tracts in Theoretical Computer Science Ser.: Programs, Recursion...

Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS

Cambridge Tracts in Theoretical Computer Science Ser.: Information Flow : The...

Modal Logic Cambridge Tracts in Theoretical Computer Science 53

Computational Geometry in C (Cambridge Tracts in Theoretical Computer Sci - GOOD

Computational Geometry in C (Cambridge Tracts in Theoretical Computer Science (,