Script: A communication abstraction mechanism and its verificationNissim FrancezBrent Hailpernet al.1986Science of Computer Programming