Email Record: Mathematical Foundations of Computer Science 1989 :