Laboratory for computer science - Cambridge: Massachusetts Institute of Technology,