[Lib01]