Theoretical Computer Science (Science Direct) Vol. 1, 1975-