@InProceedings{HSV94,
author={L. Helmink and M. Sellink and F. Vaandrager},
title={Proof-checking a data link protocol},
booktitle={Proc. International Workshop on Types for Proofs and Programs (TYPES'93)},
year={1994},

editor={H. Barendregt and T. Nipkow},
pages={127--165},
organization={},
publisher={Springer},
series={LNCS},
volume={806},
address={},
month={},
note={},
key={}
}