@article{Singer00,
  title = {Toolman},
  author = {Daniel Singer},
  year = {2000},
  url = {https://www.usenix.org/publications/login/august-2000-volume-25-number-5/toolman},
  researchr = {https://researchr.org/publication/Singer00},
  cites = {0},
  citedby = {0},
  journal = {;login:},
  volume = {25},
  number = {5},
}