Correctness proofs and probabilistic tests for constructive specifications and functional programs. - Dinh Thi Thanh Huong (2001)