Lawrence A. Crowl, "Ocean Programming Language Definition", Technical Report 94-60-08, Department of Computer Science, Oregon State University, Corvallis, Oregon, 97331-3202, December 1994