Language-Based Techniques for Concurrent and Distributed Software
University of Oregon Computer and Information Science Department