Neves R, Barbosa LS, Hofmann D, Martins MA.? 2016.??Continuity as a computational effect. J. Log. Algebr. Meth. Program.. 85:1057?1085.