@Bibtex-file{SE/facs.bib,
  title =        "Bibliography of {"}Formal Aspects of Computing{"}",
  supported =    "gone",
  keywords =     "Well founded notations for system
                 description/specifications, Verifiable designs, Proof
                 methods, Theories of objects used in specifications and
                 implementations, Transformational design, Formal
                 approaches to requirements analysis, Results on
                 algorithm and problem complexity, Fault-tolerant
                 design, Methods of approaching development.",
  abstract =     "Bibliography of all the articles in the journal
                 {"}Formal Aspects of Computing{"}.",
}