RICHARD WORKMAN