@article{https://doi.org/10.4230/lipics.csl.2017.24,
    doi = {10.4230/LIPICS.CSL.2017.24},
    url = {http://drops.dagstuhl.de/opus/volltexte/2017/7671/},
    author = {Ghica, Dan R. and Jung, Achim and Lopez, Aliaume},
    keywords = {Computer Science, 000 Computer science, knowledge, general works},
    language = {en},
    title = {Diagrammatic Semantics for Digital Circuits},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany},
    year = {2017}
}

@article{https://doi.org/10.4230/lipics.csl.2017.24, doi = {10.4230/LIPICS.CSL.2017.24}, url = {http://drops.dagstuhl.de/opus/volltexte/2017/7671/}, author = {Ghica, Dan R. and Jung, Achim and Lopez, Aliaume}, keywords = {Computer Science, 000 Computer science, knowledge, general works}, language = {en}, title = {Diagrammatic Semantics for Digital Circuits}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany}, year = {2017} }