Mathematical Foundations of Computer Science 1998 | Publicación