Anthony Hall Do interactive systems need specifications? 1-12 1997 conf/dsvis/1997 DSV-IS db/conf/dsvis/dsvis1997.html#Hall97