Ali Mili Desert Island Column: The Long Story of a Short Theorem. 199-204 1999 6 Autom. Softw. Eng. 2 db/journals/ase/ase6.html#Mili99