Gilbert Moulton Lundy;Raymond E. Miller
-;-
Specification and analysis of a data transfer protocol using systems of communicating machines
Distributed Computing