S t e t t e r, H(ans) J. /Hrsg./ 

s. Computation, Seientifie, with Automatie 
Result Verifieation.1988.