Caballero, et al.. A Zoom-declarative Debugger for Sequential Erlang Programs. Elsevier BV, 2015, doi:10.1016/j.scico.2015.06.011.