“...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany)...”