Laboratory for computer science:   Progress report 

 - Massachusetts:   Massachusetts Institute of Technology,