The Theory of Computer Science A Programming Approach - Brady, J.M (John Wiley & Sons, 1977)