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