Mathematical Foundations of Computer Science 1993 | Publicación