Németh Boldizsár; Kelemen Zoltán: Derivable partial locking for algebraic data types.