@book{Gries81,
  author = "Gries, David",
  title = "{The Science of Programming}",
  publisher = "Springer-Verlag",
  isbn = "038790641X",
  year = "1981",
}