IVA2 verification - Kolev, Nikolay Ivanov 1951- (Kernforschungszentrum <Karlsruhe>: Kernforschungszentrum Karlsruhe, 1987)