@article{Hesselink_1998,
    doi = {10.1016/s0020-0190(98)00158-6},
    url = {https://doi.org/10.1016%2Fs0020-0190%2898%2900158-6},
    year = {1998},
    month = {nov},
    publisher = {Elsevier {BV}},
    volume = {68},
    number = {4},
    pages = {173--177},
    author = {Wim H. Hesselink},
    title = {Invariants for the construction of a handshake register},
    journal = {Information Processing Letters}
}

@article{Hesselink_1998, doi = {10.1016/s0020-0190(98)00158-6}, url = {https://doi.org/10.1016%2Fs0020-0190%2898%2900158-6}, year = {1998}, month = {nov}, publisher = {Elsevier {BV}}, volume = {68}, number = {4}, pages = {173--177}, author = {Wim H. Hesselink}, title = {Invariants for the construction of a handshake register}, journal = {Information Processing Letters} }