por Goguen, Joseph | Futatsugi, Kokichi [editor] | Jouannaud, Jean-Pierre | Meseguer, José [editor].
por Meseguer, José [autor] | Pérez-Grande, Isabel [autor] | Sanz Andrés, Ángel [autor].