Francez et al. (1989)
Francez N., Hailpern B. and Taubenfeld R. (1989)
Script: a communication abstraction mechanism and its verification
Science of Computer Programming 6(1), pp. 35-88