programme correctness proof - German English Dictionary