Theories of translation correctness for concurrent programming languages - Millington, Mark (University <Edinburgh> / Department of Computer Science: Thesis, 1987)