“History and Contents of the Dutch Theatre Production Database”, RDJHSS, vol. 5, no. 2, pp. 13–26, Nov. 2020, doi: 10.1163/24523666-bja10002.