RICHARD E WORKMAN