Transformational development of circuit descriptions for binary adders | Publicación