Foundations of Computer Science Third Edition