%0 Journal Article %A Agustí, Jaume %A Puigsegur, Jordi %A Schorlemmer, W. Marco %T Hacia una especificación con inclusiones. %J Mathware & soft computing %D 1997 %P 281-297 %V 4 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/MSC_1997_1997_1_a16/ %G en %F MSC_1997_1997_1_a16