@MastersThesis{sheldon:meng-thesis:2001,
  author = "Jeffrey W. Sheldon",
  month = "Jun",
  year = "2001",
  title = "Strength Reduction of Integer Division and Modulo Operations",
  url = "https://commit.csail.mit.edu/papers/2001/sheldon-MEthesis.ps",
  keywords = "MDOPT",
  type = "M.Eng. Thesis",
  address = "Cambridge, MA",
  school = "Massachusetts Institute of Technology",
}