Mathematical Foundations of Computer Science Vol-1 - Fejer Peter A. (New York Springer Verlag, 1991)