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