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