Object-Oriented Structured Design of Layered Protocol Systems. - Raymond J. A. Buhr; S. Michell (ICDCS, 1982)