CCAL: An interpreted language for experimentation in concurrent control. - Phil Kearns; Chris Cipriani; Mitzi Freeman (PLDI, 1987)