Equality of Functions in CAST. - Josep Miró; Margaret Miró-Julià (EUROCAST, 1995)

A Numerical Computation for Declarative Expressions. - Josep Miró; Margaret Miró-Julià (EUROCAST, 1997)

A Formulation for Language Independent Prelogical Deductive Inference. - Josep Miró (EUROCAST, 2003)