Software in safety-related systems. Brian A. Wichmann (Ed.) Published by John Wiley & Sons, Chichester, U.K. and The British Computer Society, London, U.K., 1992. ISBN 0-471-93474-7, 304 pages. Price: £165.00, hard cover

机译：软件评估：可靠性，安全性，可测试性。 Michael A. Friedman和Jeffrey M. Voas。由约翰·威利父子有限公司（John Wiley＆Sons Ltd.），英国奇切斯特，1995年出版。ISBN0–471–01009–X，282页。价格：45.00英镑，64.95美元，精装书。

机译：方法集成：概念和案例研究。克劳斯·克朗洛夫（编辑）。由John Wiley and Sons Ltd.，英国奇切斯特，1993年出版。ISBN0 471 93555 7，402页。价格：29.95英镑，精装书

机译：用户界面软件。 Len Bass和Prasun Dewan（eds）。由John Wiley and Sons Ltd.，英国奇切斯特，1993年出版。ISBN0 471 93784 3，201页。价钱：£19.95，软封面

机译：并发和实时系统：CSP方法。由Steve Schneider。由John Wiley和Sons Ltd.出版，奇斯特，U.K.，2000。ISBN：0-471-62373-3，510页。价格：U.K.£29.95，U.S.A. $ 59.99，软封面。