There's two more near the bottom of the author (James Mickens)'s Microsoft Research page[1]. The page itself is also funny.

1: http://research.microsoft.com/en-us/people/mickens/