Bettina Sucrow Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules. 302-317 http://link.springer.de/link/service/series/0558/bibs/1382/13820302.htm 1998 FASE db/conf/fase/fase98.html#Sucrow98