A first report on the a compilerStephen M. WattPeter A. Broadberyet al.1994ISSAC 1994Conference paper