Generating User Interfaces from Formal Specifications of the Application
Bauer, B.
Proc. Computer-Aided Design of User Interfaces, CADUI 96, Namur, Belgien, 5.-7. Juni 1996, Ed.: J. Vanderdonckt, Namur: Presses Universitaires de Namur, pp. 141-158
