Tzilla Elrad Nissim Francez Decomposition of Distributed Programs into Communication-Closed Layers. 155-173 1982 2 Sci. Comput. Program. 3 db/journals/scp/scp2.html#ElradF82