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