Jean-Marie Boë Les Boîtes. 17-34 1991 81 Theor. Comput. Sci. 1 db/journals/tcs/tcs81.html#Boe91