Semantics for core concurrent ML using computation types /
Jeffrey, Alan.
University of Sussex.Computer Science.
Brighton : University of Sussex, School of Cognitive and Computing Sciences, Computer Science,
1996.
Cover title.