> -- Илья Ермаков писал(а):
> ... есть более короткие и надёжные пути.
Не будет ли столь любезен многоуважаемый джин, что поведает нам об этих более коротких и надёжных путях, которые не являлись бы лишь частью того пути, который прошли эти австралийцы?
Есть ли у Вас реальные примеры подобных работ без применения формальных методов, но с не менее надёжными результатами? И почему эти примеры (если они есть) так малоизвестны?