Jean-Marc Andreoli Remo Pareschi LO and Behold! Concurrent Structured Processes. 44-56 1990 OOPSLA/ECOOP db/conf/oopsla/oopsla90.html#AndreoliP90