Decomposition of distributed programs into communicationclosed layers (1982)

by T Elrad, N Francez
Venue:Science of Computer Programming