The Impact of Specification Structure on Human Memory Performance - Experiences from a First Experiment.