https://andykeep.com/pubs/dissertation.pdf
Also see the this text:
https://www.cs.umd.edu/class/fall2025/cmsc430/Notes.html