Artículo:

Parametricity Local Variables

Autor:

P. W. O'Hearn

R. D. Tennent

Página:

658

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

42

Número:

3

Periodo:

Mayo 1995

ISSN:

00045411

SrcID:

00045411-1995-03.TXT