A representation theorem for time-scale functionals Marshall J. Leitman (1972) Commentationes Mathematicae Universitatis Carolinae