Science of Computer Programming (ScienceDirect) Vol. 1, 1981-