Aho/Ullman Foundations of Computer Science