Algorithms minimizing mean flow time: schedule-length properties E. G. Coffman Jr.Ravi Sethi OriginalPaper 01 March 1976 Pages: 1 - 14
Specification and proving of command programs E. J. NeuholdT. Weller OriginalPaper 01 March 1976 Pages: 15 - 40
A system which automatically improves programs J. DarlingtonR. M. Burstall OriginalPaper 01 March 1976 Pages: 41 - 60
Inherently nonplanar automata Ronald V. BookAshok K. Chandra OriginalPaper 01 March 1976 Pages: 89 - 94
Transformational methods and their application to complexity problems Burkhard Monien OriginalPaper 01 March 1976 Pages: 95 - 108