Haribhadra - Dundas, Paul (Brill's encyclopedia of Jainism online, 2020)