Series Science of Computer Programming ; Vol. 89, Part A