Krämer, B. "SEGRAS. The Specification Language of the GRASPIN Environment. Language Reference Manual" ESPRIT Project 125, GRASPIN, 1990.
(1990)
Languages mentioned
SEGRAS
{1985}