Deutsch, Henson, 2005. An Analysis of Operation-Refinement in an Abortive Paradigm 137.. https://doi.org/10.1016/j.entcs.2005.04.025