Computational complexity of computing polynomials over the fields of real and complex numbersV.Ya. Pan1978STOC 1978
On formulating simultaneity for studying parallelism and synchronizationRaymond E. MillerChee K. Yap1978STOC 1978
Data type specification: Parameterization and the power of specification techniquesJames W. ThatcherEric G. Wagneret al.1978STOC 1978