John Kubiatowicz Electrical Engineering and Computer Sciences University of California, Berkeley
Realizing Programming Models
