@inproceedings{Ghica_2016,
    doi = {10.1109/fmcad.2016.7886659},
    url = {https://doi.org/10.1109%2Ffmcad.2016.7886659},
    year = {2016},
    month = {oct},
    publisher = {{IEEE}},
    author = {Dan R. Ghica and Achim Jung},
    title = {Categorical semantics of digital circuits},
    booktitle = {2016 Formal Methods in Computer-Aided Design ({FMCAD})}
}

@inproceedings{Ghica_2016, doi = {10.1109/fmcad.2016.7886659}, url = {https://doi.org/10.1109%2Ffmcad.2016.7886659}, year = {2016}, month = {oct}, publisher = {{IEEE}}, author = {Dan R. Ghica and Achim Jung}, title = {Categorical semantics of digital circuits}, booktitle = {2016 Formal Methods in Computer-Aided Design ({FMCAD})} }