Direcitons in safety-critical systems. Felix Redmill and Tom Anderson (Eds), Published by Springer-Verlag, London, U.K., 1993. ISBN 3-540-19817-2, 285 pages. Price £30.00, soft cover

机译：安全关键系统的技术和评估。费利克斯·雷德米尔（Felix Redmill）和汤姆·安德森（Tom Anderson）（编），1994年由英国伦敦斯普林格出版社出版。ISBN3-540-19859-8，257页。价钱：35.00英镑，软皮

机译：关键安全系统：当前问题，技术和标准。费利克斯·雷德米尔（Felix Redmill）和汤姆·安德森（Tom Anderson）（编），英国查普曼和霍尔出版社，伦敦，1993年。ISBN 0-412-54820-8，332页。价钱：29.99英镑，软皮

机译：成就和安全保障。费利克斯·雷德米尔（Felix Redmill）和汤姆·安德森（Tom Anderson）（编辑），由英国伦敦斯普林格出版社出版，1995年。ISBN 3-540-19922-5，329页。价钱：38.00英镑，软皮

机译：z和object-z的改进：基础和高级应用程序。由John Derrick和Eerke Baiten。由Springer-Verlag，柏林，德国，计算和信息技术系列的正式方法出版，2001年。ISBN：1-85233-245-X，466页。价格：U.K.？49.50，U.S.A. $ 79.95，德国DM 159.90，软封面。