Németh Boldizsár; Kelemen Zoltán: Derivable partial locking for algebraic data types. In: Acta cybernetica, (22) 1. pp. 151-170. (2015)
Németh Boldizsár; Kelemen Zoltán: Derivable partial locking for algebraic data types.