These notes (on a different yet somewhat related subject) seem a little more friendly in the way they explain the basics: https://www.cs.cmu.edu/~kmcrane/Proje

These notes (on a different yet somewhat related subject) seem a little more friendly in the way they explain the basics: https://www.cs.cmu.edu/~kmcrane/Projects/DDG/ https://www.cs.cmu.edu/~kmcrane/Projects/DDG/