@book{P-5725,
author="Sunshine, Carl A.",
title="Survey of Communication Protocol Verification Techniques",
address="Santa Monica, CA",
year="1976",
doi="",
publisher="RAND Corporation"
}