@article{MeroufelBelalem14,
  title={Abstraction Checkpointing Levels: Problems and Solutions},
  author={Meroufel, Bakhta and Belalem, Ghalem},
  journal={International Journal of Computing},
  volume={13},
  number={3},
  pages={158--169},
  year={2014}
}