TY - BOOK AU - Mathematical Foundations Of Computer Science 1996 TI - Mathematical foundations of computer science 1996 SN - 3-540-61550-4 PY - 1996/// CY - Berlin PB - Springer KW - Computers ER -