Krämer, Bernd "Introducing the GRASPIN Specification Language SEGRAS" In: The Journal of Systems and Software, Vol. 15, No. 1, pages 17-31. April 1991

Languages mentioned

• SEGRAS {1985}