Kutar, M, Britton, Carol, Nehaniv, CL, Jones, Sara, "The Cognitive Dimensions of an Artifact vis-à-vis Individual Human Users: Studies with Notations for the Temporal Specification of Interactive Systems", , 2001