Wilson, H., LARGE, D., & Burnett, G. (2022). Deriving Extended Keystroke Level Model Resumability Operators: An Occlusion Study.