Mathematical foundations of computer science / - Fejer, Peter A. (Springer-Verlag,, 1991)