Bernd Becker: Efficient Testing of Optimal Time Adders (Extended Abstract). MFCS 1986: 218-229