Communication with directed logic variables (1991)

by A Kleinman, Y Moscowitz, A Pnueli, E Shapiro
Venue:In Eighteenth Ann. ACM Symp. on Princ. of Program. Lang