@phdthesis{Huong2001,
  author      = {Dinh Thi Thanh Huong},
  title       = {Correctness proofs and probabilistic tests for constructive specifications and functional programs},
  type        = {doctoralthesis},
  pages       = {154 S.},
  year        = {2001},
}