Specification language for attributed tree transformation writetn by R. Wilhelm, U Saarlandes in the early 1980's.
["POPSY and OPTRAN Manual", ESPRIT PROSPECTRA Project Item S.1.6-R.3.0, U Saarlandes (Mar 1986)].