Log Message:
This is the SR, a language for concurrent programming from the
University of Arizona, version 2.3.2.

SR is described in "The SR Programming Language: Concurrency in Practice"
by Gregory R. Andrews and Ronald A. Olsson (Benjamin/Cummings, 1993, ISBN
0-8053-0088-0).