Németh, B. and Kelemen, Z. 2015. Derivable partial locking for algebraic data types. Acta Cybernetica. 22, 1 (Jan. 2015), 151-170. DOI:https://doi.org/10.14232/actacyb.22.1.2015.10.