Literature/Tom%20Henzinger.pdf
2010-10-21 urbanc tried at the end to prove the other direction (failed at the moment)
less more (0) tip