Artículo:

Logic in computer science Register-Machine Based processes

Autor:

J. A. Bergstra

A. Ponse

Página:

1207

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

48

Número:

6

Periodo:

Noviembre 2001

ISSN:

00045411

SrcID:

00045411-2001-06.txt