@String{cacm  = "Communications of the {ACM}"}
@String{ijmms = "International Journal of Man-Machine Studies"}

@Article{Myers,
    Title="User Interface Software Tools",
    Journal=tchi,
    Author="Brad A. Myers",
    Volume=2, Number=1,  Year=1995,
    Keyword="\K{HCI}"
}

@Article{Launder,
    Title="The Trouble With Computers: Usefulness, Usability  and
      Productivity",
    Author="Thomas  K. Landauer",
    Journal=int, Volume="{ii}", Number=1, Year=1995,
    Keyword="\K{HCI}"
}

@Book{Schneiderman,
    Title="Designing the User Interface: Strategies for Effective
       Human-Computer Interaction",
    Edition="Second",
    Author="Ben Scheiderman",
    Publisher="Addison-Wesley", Year=1992,
    Keyword="\K{HCI}"
}

@Article{Larch,
    Title="The {Larch} family of specification languages",
    Journal="{IEEE} Software", volume=2, number=5, Year=1986,
    Author="J. V. Guttage and J. J. Horning",
    Keyword="\K{SW specification}"
}

@Article{FormalMyths,
   Title="Seven Myths of Formal Methods",
   Author="Anthony Hall",
   Journal="{IEEE} Software", Volume=7, Number=5, Year=1990,
   Keyword="\K{SW specification}"
}

@Article{OnFormalism,
   Title="On Formalism in Specifications",
   Author="Bertrand Meyer",
   Journal="{IEEE} Software", Month=jan, Year=1985,
   Keyword="\K{SW specification}"
}

@Article{Wing,
   Title="A Specifier's Introduction to Formal Methods",
   Author="Jeannette M. Wing",
   Journal="{IEEE} Computer", Month=sep, Year=1990,
   Keyword="\K{SW specification}"
}

@Book{Z,
   Title="Software Engineering Mathematics",
   Author="Jim Woodcock and Martin Loomes",
   Publisher="Addison-Wesley", Year=1988,
   Keyword="\K{SW specification}"
}

@Book{Morgan,
   Title="On the refinement calculus",
   Author="Carroll Morgan and Ken Robinson and Paul Gardiner",
   Publisher="Oxford University Computing Laboratory",
   Year=1988,
   Keyword="\K{SW specification}"
}

@Article{Chiron,
   Title="Chiron-1: A Software Architecture for User Interface
     Development, Maintenance, and Run-Time Support",
   Author="Richard N. Taylor and Kari A. Nies and Gregory Alan Bolcer and
     Craig A. MacFarlane and Kenneth M. Anderson and Gregory F. Johnson",
   Journal="{ACM} Transactions of Computer-Human Interaction",
   Volume=2, Number=2, Year=1995
}

@Article{Dray,
   Title="The Importance of Designing Usable Systems",
   Author="Susan Dray",
   Journal=int, Volume="{ii}", Number=1, Year=1995,
   Keyword="\K{HCI}"
}

@InBook{Anthro,
   Author="H. Russel Bernard and Peter Killworth and David Killworth and
     David Kronenfeld and Lee Sailer",
   Title="The Problem of Informant Accuracy: The Validity of Retrospective
    Data",
   BookTitle="Annual Review of Anthropology", Year=1984, Volume=13,
   Pages="495 -- 517", 
   Publisher="Annual Reviews Inc."
}

@Article{Smilowitz,
   Author="Elissa D. Smilowitz and Michael J. Darnell and Alan
     E. Benson",
   Title="Are we overlooking some usability testing methods?  A
     comparison of lab, beta, and forum tests",
   Journal="Behaviour \& Information Technology",
   Volume=13, Number="1 and 2", Year=1994,
   Keyword="\K{Usability} $\bullet$ \K{Testing}"
}

@InProceedings{RealWorld,
   Author="Robin Jeffreis and James R. Miller and Cathleen Wharton and
     Kathy M. Uyeda",
   Title="User interface evaluation in the real world: a comparison of
     four techniques",
   BookTitle="Human Factors in Computing Systems: Reaching Through
     Technology {CHI} '91 Conference Proceedings",
   Editor="Scott P. Robertson and Gary M. Olson and Judith S. Olson",
   Year=1991,
   Keyword="\K{Usability} $\bullet$ \K{Testing} $\bullet$ \K{HCI}"
}

@InProceedings{DesignGuidelines,
   Author="Charles Wiecha and Stephen Boies",
   Title="Generating User Interfaces: Principles and Use of {ITS} Style
     Rules", 
   BookTitle="Third Annual Symposium on User Interface Software and
     Technology", 
   Organization="{ACM} {SIGGRAPH} and {ACM} {SIGCHI}",
   Year=1990
}

@Article{YGOMS,
   Author="Bonnie E. John",
   Title="Why {GOMS}?",
   Journal=int, Volume="{ii}", Number=4, Year=1995,
   Keyword="\K{HCI} $\bullet$ \K{GOMS} $\bullet$"
}

@Article{GOMSisGreat,
   Author="Wayne D. Gray and Bonnie E. John and Michael E. Atwood",
   Title="Project {Ernestine}: Validating a {GOMS} Analysis for
     Predicting and Explaining Real-World Task Performance",
   Journal="Human-Computer Interaction", Volume=8, Year=1993
   Keyword="\K{HCI} $\bullet$ \K{GOMS} $\bullet$"
}

@Misc{SunWWW,
   Author="Jakob Nielsen",
   Title="Interface Design for Sun's {WWW} Site",
   HowPublished="[HTML document]
     \url|http://www.sun.com:80/sun-on-net/www.sun.com/uidesign/|",
   Year=1995, Month=18 # "~" # oct
}

@Article{NielsenOnGOMS,
   Author="Jakob Nielsen",
   Title="Jakob Nielsen on Using a Version of the Keystroke-Level Model",
   Journal=int, Volume="{ii}", Number=4, Year=1995,
   Pages=86
}
   
@Article{CogWalk,
   Title="Cognitive walkthroughs: a method for theory-based evaluation of
     user interfaces",
   Author="Peter G. Polson and Clayton Lewis and John Rieman and Cathleen
     Wharton", 
   Journal=ijmms, Volume=36, Year=1992
}

@Article{PaperPrototypes,
   Title="Prototyping for Tiny Fingers",
   Author="Marc Rettig",
   Journal=cacm, Volume=37, Number=4, Year=1994
}

@InProceedings{DataModelIsHeart2,
    Author="Robert Akscyn and Elise Yoder and Donald McCracken",
    Title ="The Data Model is the Heart of Interface Design",
    Pages="115 -- 120",
    BookTitle="Human factors in computing systems {CHI '88} conference
       Proceedings", 
    HowPublished="Special issue of the {SIGCHI} Bulletin",
    Editor="Elliot Soloway and Douglas Frye and Sylvia B. Sheppard", 
    Month=15 # " -- " # 19 # "~" # may, Year=1988,
    Organization="{ACM SIGCHI}", Publisher="{Addison Wesley}"
}

@Article{Bala,
    Title="Designing in the Real World",
    Author="V. Balasubramanian",
    Journal=int, Volume="{ii}", Number=4, Year=1995
}

@Article{Intuitive,
    Title="Viewpoint",
    Author="Jef Raskin",
    Journal=cacm, Volume=37, Number=9, Year=1994
}

@Article{Be:IvsTvsDM,
    Title="An experimental investigation of interface design
      alternatives: icon vs. text and direct manipulation vs. menus",
    Author="Izak Benbasat and Peter Todd",
    Journal=ijmms, Volume=38, Number=3, year=1993, Pages="369 -- 402"
}

@Article{Ki:BD,
    Title="The depth/breadth trade-off in the design of menu-driven
      user interfaces",
    Author="John I. Kiger",
    Journal=ijmms, Volume=20, Year=1984, Pages=201 # " -- " # 213
}