1959
3 works on record
Proof complexity and feasible arithmetics
Random routing in constant degree networks
Lower bounds in parallel machine computation