Return to Article Details The The Formal method in Germany and Russia Download Download PDF