(1)
CIRTA: A FORMAL LANGUAGE FOR MODULAR ECATNETS SPECIFICATION. STB 2005, Náµ’ 24, 47-56.