George G. Hay: Formal definition of a simple on-line teleprocessor in VDL. Symposium on Programming 1974: 141-155