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