@misc{indiciae303c39983a7c,
  title = {[In memoriam Prof. János Halmai].},
  author = {G Petri},
  year = {1973},
  url = {https://pubmed.ncbi.nlm.nih.gov/4588021/},
  note = {Source identifier: 4588021}
}