7 Bocchi, R. Oradini, C. 1983 Le città nella storia d'Italia. Trento. Roma; Bari Editori Laterza storia urbana di Trento, piante e mappe della città, trento