Interaction Nets with McCarthy's amb. - Maribel Fernández; Lionel Khalil (EXPRESS, 2002)

Interaction Nets with McCarthy's amb: Properties and Applications. - Maribel Fernández; Lionel Khalil (Nord. J. Comput., 2003)