Hanson, David R. and Griswold, Ralph E. "The SL5 Procedure Mechanism"

[ACM] (1978) [ACM] CACM 21(01) (January 1978)   Ralph E. Griswold

Languages mentioned SL5 {1975}