R. W. Stallman and E. Hagemann