Jean-Michel Autebert Joffroy Beauquier Luc Boasson Françoise Gire Bicentres de langages algébriques. 209-227 1984 21 Acta Inf. db/journals/acta/acta21.html#AutebertBBG84