Mathematical foundations of computer science - Blikle, Andrzej (Springer, 1975)