Die Katalasen und die Enzyme der Oxydation und Reduktion H.v. Euler, W. Franke, R. Nilsson E-Book (pdf)

Logical Foundations of Artificial Intelligence Michael R. Genesereth, Nils J. Nilsson E-Book (pdf)

Principles of Program Analysis Flemming Nielson, Hanne R. Nielson, Chris Hankin E-Book (pdf)