Miguel Cabrera, Juan Carlos Torres, Miguel Gea. Towards User Interfaces for Rapid Prototyping from Algebraic Specifications. In David J. Duke, Angel R. Puerta, editors, Design, Specification and Verification of Interactive Systems 99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999. pages 67-83, Springer, 1999.
Abstract is missing.