Giovanny F. Lucero Juan Quemada Specifying the ODP Trader: An Introduction to E-LOTOS. 127-142 1997 conf/forte/1997 FORTE db/conf/forte/forte1997.html#LuceroQ97