Kevin Schlueter Marilyn M. Mantei Formalizing user interface requirements. 41-42 1993 conf/chi/1993c INTERCHI Adjunct Proceedings http://doi.acm.org/10.1145/259964.260045 db/conf/chi/chi1993c.html#SchlueterM93