The Dutch Parallel Reduction Machine Project H.P. BARENDREGT, (1984)

by P. H. Hartel , L. O. Hertzberger