Gerard J. Holzmann. Tracing protocols. Bell Syst. Tech. J., 64(10):2413-2433, 1985. [doi]
@article{Holzmann85,
title = {Tracing protocols},
author = {Gerard J. Holzmann},
year = {1985},
doi = {10.1002/j.1538-7305.1985.tb00010.x},
url = {https://doi.org/10.1002/j.1538-7305.1985.tb00010.x},
researchr = {https://researchr.org/publication/Holzmann85},
cites = {0},
citedby = {0},
journal = {Bell Syst. Tech. J.},
volume = {64},
number = {10},
pages = {2413-2433},
}