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

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/ http://research.microsoft.com/en-us/people/mickens/