Mathematical Foundations of Computer Science 1977