[1]
Reynoso, L.A., Buccella, A., Flores, A.P. and Aranda, G.N. 2002. Component-based tool for verifying applications using object-oriented patterns. Journal of Computer Science and Technology. 2, 01 (Oct. 2002), p. 42–48.