@misc{LVCSP,
author = "M. Lema{\^i}tre",
howpublished = "Available at sf
                   ftp://ftp.cert.fr/pub/lemaitre/LVCSP",
title = "{LVCSP}: a {L}ibrary for {V}alued {CSP}",
}