154 lines
4.0 KiB
BibTeX
154 lines
4.0 KiB
BibTeX
|
|
|
|
% my bib file.
|
|
|
|
|
|
% $Id: mybib.bib,v 1.2 2008/09/26 16:31:31 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"
|
|
}
|
|
|
|
|
|
@MISC{gnuplot,
|
|
author = "Various Open~source~Project",
|
|
title = "GNUPlot 4 Home Page",
|
|
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"
|
|
}
|
|
@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"
|
|
}
|
|
|