Sleep states and memory processes in humans: procedural versus declarative memory systems - Smith, C (Sleep Med Rev, 2001)