% Reference

@Book{boole-laws,
  key       = "book:bool",
  author    = "George Boole",
  title     = "An Investigation of the Laws of Thought",
  publisher = "\\Project Gutenberg: \url{http://www.gutenberg.org/etext/15114}",
  year      =  1854,
}

@Book{espresso,
  key       = "book:espresso",
  author    = "Robert K. Brayton and Gary D. Hatchel and Curtis T. McMullen and Alberto L. Sangiovanni-Vincentelli",
  title     = "\\Logic Minimization Algorithms for VLSI Synthesis",
  publisher = "Kluwer Academic Publisher",
  year      =  1984,
}

@Book{mini,
  key       = "book:mini",	
  author    = "S. J. Hong and R. G. Cain and D. L. Ostapko",
  title     = "MINI: A heuristic approach for logic minimazition",
  publisher = "IBM J. of Res. and Dev.",
  volume    =  18,
  year      =  1974,
}

@Manual{stl,
  key          = "man:stl",	
  author       = "Alexander Stepanov and Meng Lee",
  title        = "The Standard Template Library",
  organisation = "HP Laboratories",
  year         =  1995,
  month        =  nov
}

@Manual{opengl,
  key          = "man:opengl",	
  author       = "Mark Segal and Kurt Akeley",
  title        = "The OpenGL Graphics System",
  organisation = "The Khronos Group Inc.",
  edition      = "4.0",
  year         =  2010,
  month        =  mar
}

@Misc{qt,
  key    = "web:qt",
  author = "",
  title  = "Qt -- A cross-platform application and UI framework",
  note   = "\\\url{http://www.qt.nokia.com}, stav z 28.\,4.\,2010",
}

@Misc{quine,
  key    = "web:bio-quine",
  author = "",
  title  = "Biografie: {Willard Van Orman Quine}",
  note   = "\\\url{http://www.wvquine.org}, stav z 22.\,4.\,2010",
}

@Misc{mccluskey,
  key    = "web:bio-mccluskey",
  author = "",
  title  = "Biografie: {Edward J. McCluskey}",
  note   = "\\\url{http://en.wikipedia.org/wiki/Edward_J._McCluskey}, stav z 22.\,4.\,2010",
}

@Misc{boole,
  key    = "web:bio-boole",
  author = "",
  title  = "Biografie: {George Boole}",
  note   = "\\\url{http://plato.stanford.edu/entries/boole/}, stav z 22.\,4.\,2010",
}

@Misc{karnaugh,
  key    = "web:bio-karnaugh",
  author = "",
  title  = "Biografie: {Mourice Karnaugh}",
  note   = "\\\url{http://en.wikipedia.org/wiki/Maurice_Karnaugh}, stav z 22.\,4.\,2010",
}

@Misc{wiki-kmap,
  key    = "web:wiki-kmap",
  author = "",
  title  = "Wikepedia: Karnaugh map",
  note   = "\\\url{http://en.wikipedia.org/wiki/Karnaugh_map}, stav z 22.\,4.\,2010",
}

@Misc{wiki-torus,
  key    = "web:wiki-torus",
  author = "",
  title  = "Wikepedia: Torus",
  note   = "\\\url{http://en.wikipedia.org/wiki/Torus}, stav z 22.\,4.\,2010",
}

@Misc{wiki-cof,
  key    = "web:wiki-cof",
  author = "",
  title  = "Wikepedia: Cofactor",
  note   = "\\\url{http://en.wikipedia.org/wiki/Cofactor_(linear_algebra)}, stav z 22.\,4.\,2010",
}

@Misc{wiki-cover,
  key    = "web:wiki-cof",
  author = "",
  title  = "Wikepedia: Exact Cover",
  note   = "\\\url{http://en.wikipedia.org/wiki/Exact_cover}, stav z 22.\,4.\,2010",
}

@Misc{wiki-np-complete,
  key    = "web:wiki-np-complete",
  author = "",
  title  = "Wikepedia: {NP}-complete problem",
  note   = "\\\url{http://en.wikipedia.org/wiki/NP-complete}, stav z 22.\,4.\,2010",
}

@Misc{wiki-backtracking,
  key    = "web:wiki-backtracking",
  author = "",
  title  = "Wikepedia: Zpětné prohledávání",
  note   = "\\\url{http://en.wikipedia.org/wiki/Backtracking}, stav z 22.\,4.\,2010",
}

@Misc{wiki-qm,
  key    = "web:wiki-qm",
  author = "",
  title  = "Wikipedia: {Quine-McCluskey} algorithm",
  note   = "\\\url{http://en.wikipedia.org/wiki/Quine-McCluskey}, stav z 22.\,4.\,2010",
}

@Misc{wiki-eda,
  key    = "web:wiki-eda",
  author = "",
  title  = "Wikipedia: {EDA (Electronic design automation)}",
  note   = "\\\url{http://en.wikipedia.org/wiki/Electronic_design_automation}, stav z 22.\,4.\,2010",
}

@Misc{synopsys,
  key    = "web:eda-synopsys",
  author = "",
  title  = "Synopsys, {Inc}.",
  note   = "\\\url{http://www.synopsys.com/}, stav z 22.\,4.\,2010",
}

@Misc{cadence,
  key    = "web:eda-cadence",
  author = "",
  title  = "Cadence {Design} {Systems}",
  note   = "\\\url{http://www.cadence.com/}, stav z 22.\,4.\,2010",
}

@Misc{wiki-ternary-tree,
  key    = "web:wiki-ternary-tree",
  author = "",
  title  = "Wikipedia: Ternary tree",
  note   = "\\\url{http://en.wikipedia.org/wiki/Ternary_tree}, stav z 22.\,4.\,2010",
}

@Misc{wiki-callback,
  key    = "web:wiki-callback",
  author = "",
  title  = "Wikipedia: Callback (computer science)",
  note   = "\\\url{http://en.wikipedia.org/wiki/Callback_(computer_science)}, stav z 22.\,4.\,2010",
}

@Misc{wiki-gc,
  key    = "web:wiki-gc",
  author = "",
  title  = "Wikipedia: Gray code",
  note   = "\\\url{http://en.wikipedia.org/wiki/Gray_code}, stav z 22.\,4.\,2010",
}

@Misc{wiki-singleton,
  key    = "web:wiki-singleton",
  author = "",
  title  = "Wikipedia: Singleton pattern",
  note   = "\\\url{http://en.wikipedia.org/wiki/Singleton_pattern}, stav z 22.\,4.\,2010",
}

@Misc{gnu-std,
  key    = "web:gnu-std",
  author = "",
  title  = "{GNU} standard pro volby v příkazové řádce",
  note   = "\\\url{http://www.gnu.org/prep/standards/standards.html}, stav z 22.\,4.\,2010",
}

@Misc{espresso-pla,
  key    = "web:espresso-pla",
  author = "",
  title  = "Kompletní specifikace Berkeley PLA formátu",
  note   = "\\\url{http://service.felk.cvut.cz/vlsi/prj/BOOM/pla_c.html}, stav z 22.\,4.\,2010",
}

@Misc{espresso-src,
  key    = "web:espresso-src",
  author = "",
  title  = "Zdrojové kódy Espresso II",
  note   = "\\\url{http://embedded.eecs.berkeley.edu/pubs/downloads/espresso}, stav z 22.\,4.\,2010",
}

@Misc{usability,
  key    = "web:usability",
  author = "",
  title  = "UsabilityNet: usability resources for practitioners and managers",
  note   = "\\\url{http://www.usabilitynet.org/home.htm}, stav z 22.\,4.\,2010",
}


@Misc{google-code,
  key    = "web:google-code",
  author = "",
  title  = "Google Code",
  note   = "\\\url{http://code.google.com/}, stav z 22.\,4.\,2010",
}

@Misc{directx,
  key    = "web:directx",
  author = "",
  title  = "Microsoft DirectX",
  note   = "\\\url{http://www.microsoft.com/windows/directx/}, stav z 22.\,4.\,2010",
}

@Misc{wx,
  key    = "web:wx",
  author = "",
  title  = "wx{W}idgets",
  note   = "\\\url{http://www.wxwidgets.org/}, stav z 22.\,4.\,2010",
}
