Juhani Karhumäki Ion Petre The Branching Point Approach to Conway's Problem. 69-76 2002 conf/birthday/2002rozenberg Formal and Natural Computing http://link.springer.de/link/service/series/0558/bibs/2300/23000069.htm db/conf/birthday/rozenberg2002.html#KarhumakiP02