G. Génova, M. Valiente, and J. Nubiola. Proceedings of First International Workshop on Phil. Found. of Information
Systems Engineering-PHISE, 13, page 547--557. (2005)
G. G�nova, M. Valiente, and J. Nubiola. Proceedings of First International Workshop on Phil. Found. of Information
Systems Engineering-PHISE, 13, page 547--557. (2005)