Agregada redacción pendiente del artículo, falta introducción y pasar diagramas de imágenes a notación Z