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