Algorithms in mathematical/pseudocode notation