Authors: Robin Milner, Joachim Parrow, David Walker - Information and Computation 1992 cited by 2,849
