Le categorie dottrinali della procedura e l'effettività della giustizia penale nel tardo medioevo