暂无分享,去创建一个
V. S. Kostyrko
[1] V. S. Kostyrko. A method for proving the correctness of programs , 1978 .