decus-8-97-pa 8-97 GOOF Symbolic .