Leonard J. Bass Working Group on Formal Methods in HCI and Software Engineering. 14-16 1994 conf/icse/1994sehci ICSE Workshop on SE-HCI db/conf/icse/sehci1994.html#Bass94