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