Justo, Ribeiro G. R., Synthesis of deadlock-free parallel programs, 46-59, 1991, Εκδόσεις Νέων Τεχνολογιών,