Reduktion auf adjungierten Datentypen - Stroup, Terry (1991)