Market-Clearing With Stochastic Security— Part I: Formulation | Publicación