Leonardo da Vinci, Architekt [Leonardo da Vinci, architetto. Deutsch] - Pedretti, Carlo (Die großen Baumeister d. Welt., 1980)