Text this: Mathematical Foundations of Computer Science 1990 :