Jules Desharnais Bernhard Möller Fairouz Tchier Kleene under a Demonic Star. 355-370 2000 conf/amast/2000 AMAST http://link.springer.de/link/service/series/0558/bibs/1816/18160355.htm db/conf/amast/amast2000.html#DesharnaisMT00