Logic of Plotkin Continuous Domain. - Benjamín René Callejas Bedregal; Benedito Melo Acióly (LATIN, 1995)

Toward a logic for numerical approximations. - Regivan Hugo Nunes Santiago; Benedito Melo Acióly (RITA, 1996)

A Quasi-Metric Topology Compatible with Inclusion Monotonicity on Interval Space. - Benedito Melo Acióly; Benjamín René Callejas Bedregal (Reliab. Comput., 1997)

Formal Aspects of Correctness and Optimality of Interval Computations. - Regivan Hugo Nunes Santiago; Benjamín René Callejas Bedregal; Benedito Melo Acióly (Formal Aspects Comput., 2006)