+% \lambda\delta version 3 (proposed) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+@misc{lambdadeltaJ4,
+ author="F. {Guidi}",
+ title="{A Verified Translation of Landau's `Grundlagen'' from Automath into a Pure Type System, via $\lambda\delta$}",
+ year="2015",
+ month="February",
+ note="Submitted to JFR, University of Bologna"
+}
+