@article{Fortnow16,
  title = {David Stifler Johnson: A Tribute by Lance Fortnow},
  author = {Lance Fortnow},
  year = {2016},
  url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/404/384},
  researchr = {https://researchr.org/publication/Fortnow16},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {119},
}