@Bibtex-file{Misc/leavens.bib,
  title =        "Gary {T}. Leavens' personal bibliography",
  author =       "Gary T. Leavens",
  email =        "leavens@cs.iastate.edu",
  address =      "Department of Computer Science\\ Iowa State
                 University",
  supported =    "yes",
  abstract =     "Type theory, abstract data types, subtyping, types in
                 programming languages; 1970s and older references on
                 datatypes, type theory, etc.; Distributed and parallel
                 processing, except language definitions; Programming
                 language issues, semantics, implementation, except
                 types and distributed/parallel stuff. All language
                 definitions are here.; Software engineering,
                 specification, verification; Math, general stuff that
                 doesn't go elsewhere.",
}