et al., “An Overview of the SR language and its implementation (1988)

by G R Andrews
Venue:ACM TOPLAS