Németh, Boldizsár, and Zoltán Kelemen. 2015. “Derivable Partial Locking for Algebraic Data Types”. Acta Cybernetica 22 (1), 151-70. https://doi.org/10.14232/actacyb.22.1.2015.10.