Formal specifications fo packet communication systems - Ellis, David J. (Mass. Inst. of Technology, Laboratory for Computer Science, 1977)
Zugl.: Diss., 1977