Theories of translation correctness for concurrent programming languages - Millington, Mark (Univ. of Edinburgh, Dep. of Computer Sci., 1987)
Edinburgh, Univ., Diss., 1985