Kleene under a demonic star

J. Desharnais, B. Möller, F. Tchier

published Sep. 2000 In T. Rus (ed.): Algebraic Methodology and Software Technology (AMAST 2000), LNCS 1816.
pp. 355-370, Sep. 2000.
Springer.