Abstract non-linear wave equations. - Reed Michael (1976)