@misc{indiciae5b523e99899c,
  title = {Obituary.},
  author = {R Denis},
  year = {1980},
  doi = {10.1007/bf03007789},
  url = {https://pubmed.ncbi.nlm.nih.gov/6988050/},
  note = {Source identifier: 6988050}
}