The Early history of data networks - Gerard J Holzmann, Bjorn Pehrson (IEEE Computer Society Press, Wasthington, 1995)