Zena M. Ariola Barton C. Massey M. Sami Evan Tick Compilation of Concurrent Declarative Languages. 120-134 1994 ICLP Workshop: Integration of Declarative Paradigms http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/paper10.ps.Z db/conf/iclp/iclp94-w8.html#AriolaMST94