A. Hoare, «Comunicación con lógica digital», TC, n.º 21, pp. 31–52, may 2011.