The UNIX system: The virtual protocol machine. - Michael J. Fitton; Carol J. Harkness; Keith A. Kelleman; Paul F. Long; Carl Mee (AT&T Bell Lab. Tech. J., 1984)