B. Németh and Z. Kelemen, “Derivable partial locking for algebraic data types”, Acta Cybern, vol. 22, no. 1, pp. 151–170, Jan. 2015.