Németh, Boldizsár, and Zoltán Kelemen. “Derivable Partial Locking for Algebraic Data Types”. Acta Cybernetica 22, no. 1 (January 1, 2015): 151–170. Accessed March 31, 2025. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3874.