@Bibtex-file{SE/ftr.bib,
  title =        "Formal Technical Review Bibliography",
  author =       "Philip Johnson",
  address =      "Department of Information and Computer Sciences\\
                 University of Hawaii\\ 2565 The Mall\\ Honolulu, HI
                 96822\\ USA",
  email =        "johnson@hawaii.edu",
  supported =    "yes",
  readme =       "This bibliography is part of the
                 \htmladdnormallink{WWW Formal Technical Review Archive}
                 {http://www.ics.hawaii.edu/\%7Ejohnson/FTR/}.",
  keywords =     "active design review, cleanroom, inspection, phased
                 inspection, walkthrough",
}