Design and proof of multipliers by correctness-preserving transformation | Publicación