Laboratory for computer science:   Technical report 

 - Massachusetts:   Massachusetts Institute of Technology,