% my bib file.


% $Id: mybib.bib,v 1.3 2009/11/28 20:05:52 robin Exp $


@ARTICLE{valueoflife,
  AUTHOR =       "W.K. Viscusi",
  TITLE =        "The value of life: Estimates with risks by occupation and industry",
  JOURNAL =      "Harvard John M. Olin Canter for Law ISSN 1045-6333",
  YEAR =         "2003"
}


@ARTICLE{nucfta,
  AUTHOR =       "US Nuclear reg commission",
  TITLE =        "Fault Tree Handbook",
  JOURNAL =      "Nuclear Safety Analysis Handbook",
  YEAR =         "1981"
}

@ARTICLE{nasafta,
  AUTHOR =       "NASA",
  TITLE =        "Fault Tree Handbook with Aerospace Applications",
  JOURNAL =      "NASA Handbook",
  YEAR =         "2002"
}


@BOOK{mil1991,
  AUTHOR =       "United~States~DOD",
  TITLE =        "Reliability Prediction of Electronic Equipment",
  PUBLISHER =    "DOD",
  YEAR =         "1991"
}


@BOOK{sccs,
  AUTHOR =       "Neil~Storey",
  TITLE =        "Safety-Critical Computer Systems ISBN 0-201-42787-7",
  PUBLISHER =    "Prentice Hall",
  YEAR =         "1996"
}

@BOOK{sem,
  AUTHOR =       "J.~Woodcock,~Martin~Loomes",
  TITLE =        "Software Engineering Mathematics ISBN 0-273-02673-9",
  PUBLISHER =    "Pitman",
  YEAR =         "1988"
}

@BOOK{f77,
  AUTHOR =       "A.~Balfour D.H.~Marwick",
  TITLE =        "Programming in Standard Fortran 77 ISBN 0-435-77486-7",
  PUBLISHER =    "Heinemann Educational Books",
  YEAR =         "1979"
}

@BOOK{ctw,
  AUTHOR =       "Gregory~J.E.~Rawlins",
  TITLE =        "Compared to What ? An introduction to the analysis of algorithms ISBN 0-7167-8243-x",
  PUBLISHER =    "Computer Science Press",
  YEAR =         "1991"
}



@BOOK{alg,
  AUTHOR =       "Alan~Gibbons",
  TITLE =        "Algorithmic Graph Theory ISBN 0-521-28881-9",
  PUBLISHER =    "Cambridge University Press",
  YEAR =         "1985"
}

@BOOK{found,
  AUTHOR =       "Ian~Stewart, David~Tall",
  TITLE =        "The Foundations of Mathematics : ISBN 0-19-853165-6",
  PUBLISHER =    "Oxford University Press",
  YEAR =         "1977"
}

@BOOK{shin,
  AUTHOR =       "Sun-Joo~Shin",
  TITLE =        "The Iconic Logic of Peirces Graphs",
  PUBLISHER =    "Bradford",
  YEAR =         "2002"
}


@BOOK{idmfssz,
  AUTHOR =       " D~C~Ince",
  TITLE =        " An Introduction to Discrete Mathematics, Formal System Specification and Z : Oxford :  ISBN 0-19-853836-7",
  PUBLISHER =    "Oxford University Press",
  YEAR =         "1988"
}


@BOOK{wdycwopt,
  AUTHOR =       " Richard~P~Feynman",
  TITLE =        " What do you care what other people think: Harper Collins :  ISBN 0-586-21855-6",
  PUBLISHER =    " harpercollins",
  YEAR =         "1988"
}

@BOOK{joyofsets,
  AUTHOR =       " Keith~devlin",
  TITLE =        " The Joy of Sets: 2nd edition:  ISBN 978-0-387-94094-6",
  PUBLISHER =    " Springer",
  YEAR =         "1993"
}


@MISC{microchip,
  author =       "Microchip",
  title =        "Microchip technology Inc. Home Page",
  howpublished = "Available from http://www.microchip.com/",
  year =         "2009"
}

@MISC{gnuplot,
  author =       "Various Open~source~Project",
  title =        "",
  howpublished = "Available from http://www.gnuplot.info/",
  year =         "2005"
}

@MISC{eulerviz,
  author =       "Peter~Rodgers, John~Howse, Andrew~Fish",
  title =        "Visualization of Euler Diagrams",
 howpublished = "http://www.cmis.bton.ac.uk/research/vmg/papers/EulerViz.pdf",
  year =         "2005"
}

@MISC{eulerprop,
  author =       "Peter~Rodgers, John~Howse, Gem~Stapleton",
  title =        "Properties of Euler Diagrams",
 howpublished = "http://www.cmis.bton.ac.uk/research/vmg/papers/",
  year =         "2007"
}
@MISC{en298,
  author =       "E N Standard",
  title =        "Gas Burner Controllers with forced draft",
 howpublished = "EN298",
  year =         "2003"
}

@MISC{en61508,
  author =       "E N Standard",
  title =        "Functional safety of electrical/electronic/programmable electronic safety related systems",
 howpublished = "EN61508",
  year =         "2002"
}
@MISC{javaarea,
  author =       "Sun~Micro~Systems",
  title =        "Java Area Operations",
  howpublished = "Available from http://java.sun.com/j2se/1.3/docs/api/java/awt/geom/Area.html",
  year =         "2000"
}