https://123dok.org/document/dzxm2dvy-semantics-for-locking-specifications.html