Proof and computation text - Schwichtenberg, Helmut (NATO ASI series. Series F, Computer and systems sciences, 1995)