GCD board game from Chapter 0 of Dijkstra's "The Discipline Of Programming"