Tasmanian mining infrastructure : major mining and mineral processing operations / Mineral Resources Tasmania, Department of Infrastructure, Energy and Resources