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 April 25, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3874.