@BOOK{Lamport:LaTeX,
  AUTHOR = "Leslie Lamport",
  TITLE = "LaTeX User's Guide and Document Reference Manual",
  PUBLISHER = "Addison-Wesley Publishing Company",
  ADDRESS = "Reading, Massachusetts",
  YEAR = "1986" }