1. A relational language for parallel programming;Clark,1981
2. PARLOG: parallel programming in logic;Clark;ACM Trans. Programming Languages Systems,1986
3. On the development of reactive systems;Harel,1985
4. Parallel list processing language OC and its self description;Hirata;Computer Software,1987