Artículo:

Logics and meanings of programs.

Página:

227

Publicación:

COMPUTING REVIEWS ISSN 00104884

Volúmen:

44

Número:

5

Periodo:

MAY 2003

SrcID:

2003-05TING.txt