Theatre Royal (Edinburgh, City of Edinburgh, Scotland), accessed at http://www.apgrd.ox.ac.uk/productions/venues/1254 <15 September 2024>
