к книге В.А. Непомнящего и О.М. Рякина "Прикладные методы верификации программ". /Рукописный и машинописный варианты./