Imagen Principal
1 2

Certified Compiler Program Logics by Andrew W. Appel

Imagen ampliada