FOLDS, a declarative formal language definition system. - Isu Fang (1972)