2 works on record
Languages and compilers for parallel computing
Some upper and lower bounds on decision procedures in logic
1974