Classifying Internet Objects. - F. Luis Neves; José N. Oliveira (World Wide Web J., 1996)

CAMILA: Prototyping and Refinement of Constructive Specifications. - José João Almeida; Luís Soares Barbosa; F. Luis Neves; José Nuno Oliveira (AMAST, 1997)