Specifying the memorization process with STOPA | IEEE Conference Publication | IEEE Xplore