Translating a Subset of Ada into CCS. - Matthew C. B. Hennessy; Wei Li 022 (Formal Description of Programming Concepts, 1982)