TY - SER TI - Mathematical Structures in Computer Science PB - Cambridge University Press ER -