Translating from PARLOG to Occam2: A Methodology. - Robert B. Scott; Rajiv Trehan (Concurr. Pract. Exp., 1989)