Foundations of computer science - Forouzan, Behrouz A (Thomson, 2003)