Semantics of Digital Circuits | Publicación