Similar Items: Mathematical Foundations of Computer Science 1976 :