Strategic Directions in Research in Theory of ComputingMichael C. LouiAnne Condonet al.1996ACM Computing Surveys