Assessment of Algorithmic Abstraction Skills in Higher Education: An Application of the PGK Framework | IEEE Conference Publication | IEEE Xplore