Stockmeyer L.J. ...