A fully abstract semantics for concurrent graph reduction /
Jeffrey, Alan.
University of Sussex.Computer Science.
Brighton : University of Sussex, Computer Science,
1992.
Caption title.