C–: A Portable Assembly Language that Supports Garbage Collection. - Simon L. Peyton Jones; Norman Ramsey; Fermin Reig (PPDP, 1999)

Annotations for Portable Intermediate Languages. - Fermin Reig (BABEL, 2001)