Imagen Principal
1

Semántica de Acción (Tractos de Cambridge en Ciencia de la Computación Teórica, Volumen 26)

Imagen ampliada