Completing codesA. Restivo, S. Salemi and T. SportelliRAIRO-Theor. Inf. Appl., 23 2 (1989) 135-147DOI: https://doi.org/10.1051/ita/1989230201351