Francez N. et al. "A Communication Abstraction Mechanism and its Verification", Sci Comp Prog 6(1):35-88 (1986).

Languages mentioned

• SCRIPT {1986}