Maybe you don't know that the author of that article is one of our fellow Monks. If you like Foundations of Computer Science you could also appreciate this article.

Update: on the way of Foundations, read also this one, that I just discovered digging in the site. Great Dominus!