Combinator reduction on networks of small processors. - Michael Luke Tunmer (1990)