The colored ticket algorithm (Mass. Inst. of Technology, Laboratory for Computer Science, 1984)