Robert de Simone Langages Infinitaires et Produit de Mixage. 83-100 1984 31 Theor. Comput. Sci. db/journals/tcs/tcs31.html#Simone84a