Title page of McCluskey's PhD dissertation, Algebraic Minimization and the Design of Two-Terminal Contact Networks