Implementing Reduction
An Overview
Marshall Lochbaum