@Bibtex-file{SE/alspaugh.bib,
  title =        "Thomas {A}. Alspaugh's personal bibliography",
  author =       "Thomas A. Alspaugh",
  email =        "alspaugh@ics.uci.edu",
  address =      "University of California, Irvine",
  supported =    "yes",
  copyright =    "Thomas A. Alspaugh",
  abstract =     "Requirements engineering and software engineering;
                 formal methods in those areas; object-oriented
                 languages, types, and development methodologies.",
  readme =       "This supersedes my bibliography formerly accessible at
                 North Carolina State University.",
  keywords =     "Requirements engineering",
}