Мы уважаем авторское право каждого человека. И если данная страница:
http://mybiblioteka.su/tom2/4-27735.html - Обоснования программ. Формализация свойств программ.
нарушает ваши права, то вы можете ее удалить самостоятельно.
Для этого в следующее поле введите с маленькой буквы слово "нарушение". А в патчи введите код, который сгенерирован(Внимание! Регистр букв важен!!!). Если все правильно, то страница будет удалена ваши.