1. 3
    Reading the Generalized Isolation Level Definitions paper with Alloy databases formalmethods surfingcomplexity.blog