Text this: Algorithms for mutual exclusion /