Yan shu jincheng lixian ji = Yanshu jin cheng li xian ji - Miler, Zdeněk 1921-2011; Novotný, J. A. 1918-2005 (Jie li chu ban she, 2019)