Predpisovanie a overovanie požiadaviek na spoľahlivosť systémov a prvkov / Jaroslav Dostál . Banská Bystrica :  Dom techniky , 1988 . 30 s . [1, of that borrowed 0]