Flora Ramírez Bustamante Fernando Sánchez León http://arxiv.org/abs/cmp-lg/9607001 1996 CoRR cmp-lg/9607001 db/journals/corr/corr9607.html#cmp-lg-9607001 informal publication