R. Govindarajan Sheng Yu Data Flow Implementation of Generalized Guarded Commands. 372-389 1991 conf/parle/1991-1 PARLE (1) db/conf/parle/parle91-1.html#GovindarajanY91 http://dx.doi.org/10.1007/BFb0035116