Books by ECMWF Workshop on the Use of High Performance Computing in Meteorology