Paolo Bottoni;Maria Francesca Costabile;Stefano Levialdi;Piero Mussio
-;-;-;-
Specification and dialogue control of visual interaction through visual rewriting systems
ACM Transactions on Programming Languages and Systems (TOPLAS)