Path-Oriented Program Analysis by J.C. Huang