Rensselaer Polytechnic Institute: Robert P. Ingalls' "Deadlock"

Read these lecture notes.