Fabbri, Giorgio; Gozzi, Fausto and Swiech, Andrzej (2007): Verification theorem and construction of epsilon-optimal controls for control of abstract evolution equations. Unpublished.