Proof And System-Reliability door Helmut Schwichtenberg & R. Steinbruggen