A short history of twentieth-century technology c. 1900-c. 1950 (Clarendon Press, 1982)