“Public swimming pools in Australia”, docomomo, no. 60, pp. 8–15, Jul. 2019, doi: 10.52200/60.A.F7E4DRU2.