Massachusetts Institute of Technology. Committee on Machine Methods of Computation