Laurent Bienvenu Wolfgang Merkle Alexander Shen A Simple Proof of Miller-Yu Theorem. 21-24 2008 83 Fundam. Inform. 1-2 http://iospress.metapress.com/content/17m187313p148670/ db/journals/fuin/fuin83.html#BienvenuMS08