@INCOLLECTION{herlihy:methodology,
  author = {herlihy},
  title = {Methodology of sample titling},
  booktitle = {Sample BookTitle},
  publisher = {Example Publisher},
  year = {1990}
}

@INCOLLECTION{bowman:reasoning,
  author = {Bowman},
  title = {Reasoning in the example world},
  booktitle = {An example booktitle},
  publisher = {An example publisher},
  year = {1990}
}

@ARTICLE{braams:babel,
  author = {Braams},
  title = {Babel (Tower of)},
  journal = {Journal Title},
  year = {1990},
  volume = {1},
  pages = {1-2}
}

@BOOK{clark:pct,
  title = {PCT Sample Title},
  publisher = {Sample Publisher},
  year = {1990},
  author = {Clark}
}

@BOOK{Lamport:LaTeX,
  title = {Latex},
  publisher = {Sample Publisher},
  year = {2000},
  author = {Lamport}
}

@BOOK{salas:calculus,
  title = {Calculus},
  publisher = {Sample Publisher},
  year = {1995},
  author = {Salas}
}