Hoare, A. Comunicación Con lógica Digital. TC 2011, 31-52.