https://123dok.org/document/y4wjlokv-pierangelodisanzo-performancemodelsofconcurrencycontrolprotocolsfortransactionprocessingsystems-s-apienza-u-niversit-adi-oma.html