K. Winkler: "Easy Impossibility Proofs for k-Set Agreement"; Supervisor: U. Schmid; Institut für technische Informatik, 2013; final examination: 2013-11-22.
http://publik.tuwien.ac.at/files/PubDat_224590.pdf