Discrete-time Process Algebra and the Semantics of SDL (1997)

by J.A. Bergstra , C. A. Middelburg , Y. S. Usenko