Distributed Programming | part of Concepts, Techniques, and Models of Computer Programming | MIT Press books | IEEE Xplore