Ales Limpouch. Grammar-based Formal Specification for the Object-Oriented User Interface Development. In Fabio Paternò, editor, Design, Specification and Verification of Interactive Systems 94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy. pages 369-382, Springer, 1994.
Abstract is missing.