Nissim Francez Brent Hailpern Gadi Taubenfeld Script: A Communication Abstraction Mechanism and Its Verification. 35-88 1986 6 Sci. Comput. Program. 1 db/journals/scp/scp6.html#FrancezHT86