Automatic data/program partitioning using the single assignment principle. - Lubomir Bic; Mark Nagel; John M. A. Roy (SC, 1989)

Partitioning declarative programs into communicating processes. - John M. A. Roy; Mark Nagel; Lubomir Bic (SC, 1990)

Exploiting Iteration-Level Parallelism in Dataflow Programs. - Lubomir Bic; John M. A. Roy; Mark Nagel (ICDCS, 1992)

Declarative Programming for Conventional MIMD Multiprocessors. - Lubomir Bic; John M. A. Roy; Mark Nagel (PARLE, 1992)