K. T. Sridhar C. A. R. Hoare JSD Expressed in CSP. 49-82 POS/POS85I/P049.pdf 1985 conf/pos/1985inf Data Types and Persistence (Appin), Informal Proceedings db/conf/pos/pos85.html#SridharH85