Alfred Hussey, David A. Carrington. Which widgets? deriving implementations from user-interface specifications. In Panos Markopoulos, Peter Johnson, editors, Design, Specification and Verification of Interactive Systems 98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom. Volume 1 of pages 206-224, Springer, 1998.
Abstract is missing.