s/Dr./Prof./
[~bandali/bndl.org] / bandali-bib.m4
2020-07-16 Amin Bandalimake publications and bandali-bib actual pages