Title: Problems arising in proving the correctness of a computer program