@book{cloteKranakis:book,
      AUTHOR = "P. Clote and E. Kranakis",
      TITLE = "Boolean Functions and Computation Models",
      YEAR = "2002",
      PUBLISHER = "Springer-Verlag",
      NOTE = "601 pages, {ISBN} 3-540-59436-1"
}