Krämer, B. "SEGRAS: the GRASPIN Specification Language - Preliminary Reference Manual" 2: ESPRIT Project 125 - GRASPIN; Technical Paper GMD 26. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH, July 1986.

(1986)

Languages mentioned