Edinburgh Research Archive

GRAFLOG: a theory of semantics for graphics with applications to human-computer interaction and CAD systems