Formal Semantics for VHDL - häftad, Engelska, 2012