Tekstiviesti: Semantics of digital circuits / Carlos Delgado Kloos.