On the Design of a Tool for Supporting the Construction of Logic Programs. - Gustavo A. Ospina; Baudouin Le Charlier (WLPE, 2001)

Towards precise descriptions for programming language interoperability: a general approach based on operational semantics. - Gustavo A. Ospina; Baudouin Le Charlier (IESA, 2007)

Formalisation of C Language Interfaces. - Gustavo A. Ospina; Baudouin Le Charlier (SOS@ICALP, 2008)