Gerardo Costa Gianna Reggio Abstract Dynamic Data Types: A Temporal Logic Approach. 103-112 1991 MFCS db/conf/mfcs/mfcs91.html#CostaR91 http://dx.doi.org/10.1007/3-540-54345-7_53