 This year, Dr. Leveson's new book on software safety,  <a href="http://www.cs.washington.edu/research/projects/safety/www/book.html"> (Safeware: System Safety and Computers, Addison-Wesley, 1995)</a> was  published.  <a href="http://www.cs.washington.edu/research/projects/safety/www">Recent papers</a> are available via the web and a list of <a href="http://www.cs.washington.edu/research/projects/safety/www/safety_bib"> other papers</a> is also available.  For a copy of my favorite paper (which was actually a keynote address at the Int. Conf. on Software Engineering in Melbourne) titled "High-Pressure Steam Engines and Computer Software", click <a href="http://www.cs.washington.edu/research/projects/safety/www/papers/steam.ps"> here</a>. <P>
