@incollection{KloosDoschMoeller1992,
  author    = {Carlos Delgado Kloos and Walter Dosch and Bernhard M{\"o}ller},
  title     = {Design and proof of multipliers by correctness-preserving transformation},
  booktitle = {Computer systems and software engineering: CompEuro 1992 proceedings; [6th annual European Computer Conference, The Hague, May 4 - 8, 1992, Netherland Congress Centre]},
  editor    = {Patrick Dewilde},
  isbn      = {0-8186-2760-3},
  year      = {1992},
}