BibTeX
@ARTICLE{
         Walther2004Prf,
       doi = "10.1007/s00236-003-0131-x",
       url = "https://doi.org/10.1007/s00236-003-0131-x",
       year = "2004",
       month = "feb",
       publisher = "Springer Science and Business Media {LLC}",
       volume = "40",
       number = "4",
       pages = "235--263",
       author = "Andrea Walther",
       title = "Program reversals for evolutions with non-uniform step costs",
       journal = "Acta Informatica",
       ad_theotech = "Checkpointing"
}