TITLE : Integrating formal techniques in the design of user interfaces AUTHOR(S) : PaternĂ² F., Santoro C. TYPE : Other YEAR : 1999 CODE : 407875 *** DO NOT EDIT THIS FILE ***