Kleene under a demonic star (Inst. für Informatik, 2000)