Continuation Passing Transformation and Abstract Interpretation. - Juarez Muylaert Filho; Geoffrey Livingston Burn (Theory and Formal Methods, 1993)

Continuation Strictness Analysis of Lists. - Juarez Muylaert Filho (Theory and Formal Methods, 1994)

Introducing a Calculus for Higher-Order Multiset Programming. - David Cohen; Juarez Muylaert Filho (COORDINATION, 1996)

A Distributed Implementation of Structured Gamma. - Gabriel Antoine Louis Paillard; Felipe Maia Galvão França; Juarez Muylaert Filho (ICPADS, 2001)