Castellanos Peñuela, Juan (1987) Una formalización de las relaciones entre distintas representaciones del conocimiento. Tesis(Doctoral), Computer Faculty (UPM).