Марлей, Воробьев, Крылов, и Петров, Автоматизация декомпозиции программ для распределенного выполнения, ТС, т. 2, вып. 3, сс. 121-129, апр. 2006.