A zoom-declarative debugger for sequential Erlang programs

@article{Caballero2015AZD,
  title={A zoom-declarative debugger for sequential Erlang programs},
  author={Rafael Caballero and Enrique Martin-Martin and Adri{\'a}n Riesco and Salvador Tamarit},
  journal={Sci. Comput. Program.},
  year={2015},
  volume={110},
  pages={104-118}
}