An Overview of the SR Language and Implementation. - Gregory R. Andrews; Ronald A. Olsson; Michael H. Coffin; Irving Elshoff; Kelvin D. Nilsen; Titus D. M. Purdin; Gregg M. Townsend (ACM Trans. Program. Lang. Syst., 1988)