"A Formal Specification of Interaction Widgets Hierarchy Framework."

L. J. Wang, A. S. M. Sajeev, Lachana Inchaiwong (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics