Werner E. Kluge Claudia Schmittgen Reduction Languages and Reduction Systems. 153-184 1986 conf/ac/1986fpc Future Parallel Computers db/conf/ac/fpc1986.html#KlugeS86