BOOK.bib

@comment{{This file has been generated by bib2bib 1.99}}

@comment{{Command line: bib2bib -ob BOOK.bib -oc BOOK-cites -c 'not $key : "TRX$"' -c '$type : "^BOOK$"' ../pubs-html.bib}}

@book{SCS2,
  editor = {I. J. Hayes},
  title = {Specification Case Studies},
  edition = {second},
  publisher = {Prentice Hall},
  isbn = {0-13-832544-8},
  acquired = {30 March 1993},
  pdf = {../Papers/SCS2.pdf},
  year = {1993}
}

@book{Hayes87a,
  editor = {I. J. Hayes},
  key = {book editor cics distributed computing caviar icl data dictionary unix file},
  pages = {332 pages},
  publisher = {Prentice Hall International},
  title = {Specification Case Studies},
  year = {1987}
}

This file was generated by bibtex2html 1.99.

Last updated: Wed 29 Oct 2025 20:41:30 AEST