George G. Hay. Formal definition of a simple on-line teleprocessor in VDL. In Bernard Robinet, editor, Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974. Volume 19 of Lecture Notes in Computer Science, pages 141-155, Springer, 1974.
Abstract is missing.