Zaslat SMS: Semantics of digital circuits / Carlos Delgado Kloos.