Structures in mathematical theories — San Sebastian international symposium (1990)