Martínez Marina, historiador del derecho. (Real Academia de la Historia, 1991)