Achievement and assurance of safety. Felix Redmill and Tom Anderson (Eds), Published by Springer-Verlag, London, U.K., 1995. ISBN 3-540-19922-5, 329 pages. Price: £38.00, soft cover

机译：关键安全系统的说明。费利克斯·雷德米尔（Felix Redmill）和汤姆·安德森（Tom Anderson）（编辑），由英国伦敦斯普林格出版社出版，1993年。ISBN3-540-19817-2，285页。价钱£30.00，软封面

机译：安全关键系统的技术和评估。费利克斯·雷德米尔（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英镑，软皮

机译：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，软封面。