Formal definition of a simple on-line teleprocessor in VDL.

George G. Hay Formal definition of a simple on-line teleprocessor in VDL. 141-155 1974 conf/programm/1974 Symposium on Programming db/conf/programm/programm1974.html#Hay74