Hashagen i inni, History of computing. Software issues: International Conference on the History of Computing, ICHC 2000, April 5–7, 2000, Heinz Nixdorf MuseumsForum, Paderborn, Germany, Berlin, ISBN 978-3-642-07653-4, OCLC861966658. Brak numerów stron w książce
Wirsing i inni, Algebraic methods. Theory, tools, and applications, Berlin: Springer-Verlag, 1989, ISBN 978-3-540-51698-9, OCLC20319009. Brak numerów stron w książce
Donald A.D.A.MacKenzieDonald A.D.A., Mechanizing proof. Computing, risk, and trust, Cambridge, Mass.: MIT Press, 2001, ISBN 0-262-13393-8, OCLC45835532. Brak numerów stron w książce