publication venue for Descripción Formal de Propiedades Esenciales de las Interfaces de Usuario Distribuidas . 38-47. 2012