Three-processor tasks are undecidable. - Gafni, Eli; Koutsoupias, Elias (SIAM Journal on Computing, 1998)