2 works on record
Algorithm for Constructing Feasible Schedules and Computing Their Schedule Times
Machine Program for Theorem-Proving