Integrating Functional and Temporal Domains in Logic Design e-kirjaEnglanti, 2012