Hartmut Fritzsche, T. Michel Formalization and proof of design guidelines within the scope of testing formally specified electronic product catalogues. [Citation Graph (0, 0)][DBLP] Interacting with Computers, 2000, v:12, n:3, pp:209-223 [Journal]
Scott Henninger A methodology and tools for applying context-specific usability guidelines to interface design. [Citation Graph (0, 0)][DBLP] Interacting with Computers, 2000, v:12, n:3, pp:225-243 [Journal]