Ari Jaaksi Object-oriented Specification of User Interfaces 1203-1221 1995 25 Softw., Pract. Exper. 11 db/journals/spe/spe25.html#Jaaksi95a