@misc{lambdadelta1,
author="F. {Guidi}",
- title="{lambda-delta}",
- howpublished="Formal specification with the proof assistant \textsc{coq} 7.3.1",
+ title="{lambda\_delta\_1}",
+ howpublished="Formal specification with the proof assistant Coq 7.3.1",
year="2007",
month="January",
- note="Available at the lambda-delta Web site: {http://helm.cs.unibo.it/lambda-delta/}"
+ note="Available at the lambda\_delta Web site: {http://lambda-delta.info/}"
}