Descripción Formal de Propiedades Esenciales de las Interfaces de Usuario Distribuidas Academic Article 2012 uri icon