Artículo:

Logics and meanings of Programs

Página:

290

Publicación:

COMPUTING REVIEWS ISSN 00104884

Volúmen:

42

Número:

10

Periodo:

OCTOBER 2001

SrcID:

2001-10TING.txt