Mathematical Foundations Of Computer Science 1977 By J Gruska