What did von Neumann work on in 1937 - 39?