BibTeX
@INCOLLECTION{
         Gries1981IP,
       author = "Gries, David",
       title = "Inverting Programs",
       booktitle = "The Science of Programming",
       year = "1981",
       publisher = "Springer",
       address = "New York, NY",
       pages = "265--274",
       abstract = "Wouldn't it be nice to be able to run a program backwards or, better yet, to
         derive from one program P a second program P−1 that computes the inverse of P? That means that
         running P followed by P−1 would be the same as not running any program at all! Also, if we had
         the result of executing P, but had lost the input, we could execute P−1 to determine that
         input. This chapter is devoted to having fun inverting programs.",
       isbn = "978-1-4612-5983-1",
       doi = "10.1007/978-1-4612-5983-1_22",
       chapter = "21",
       ad_theotech = "control-flow reversal"
}