%0 Journal Article
%T Network Protocols and Tools to Help Produce Them
%A H Rudin
%J -
%D 1987
%R 10.1146/annurev.cs.02.060187.001451
%U https://www.annualreviews.org/doi/abs/10.1146/annurev.cs.02.060187.001451