Specifying the ODP Trader: An Introduction to E-LOTOS | Publicación