@inproceedings{DBLP:conf/ifip/BaratzS83,
author = {Alan E. Baratz and
Adrian Segall},
title = {A Reliable Link Initialization Procedure},
booktitle = {Protocol Specification, Testing, and Verification},
year = {1983},
pages = {199-211},
bibsource = {DBLP, http://dblp.uni-trier.de}
}