Pearl-jv/document/root.bib
changeset 2523 e903c32ec24f
parent 1785 95df71c3df2f
child 2736 61d30863e5d1
--- a/Pearl-jv/document/root.bib	Tue Oct 12 13:06:18 2010 +0100
+++ b/Pearl-jv/document/root.bib	Wed Oct 13 22:55:58 2010 +0100
@@ -1,3 +1,13 @@
+@Article{ Urban08,
+	author = "C. Urban",
+	title = "{N}ominal {T}echniques in {I}sabelle/{HOL}",
+	journal = "Journal of Automated Reasoning",
+	volume = "40",
+        number = "4",
+        pages = "327--356",
+	year = "2008"
+}
+
 @InProceedings{GunterOsbornPopescu09,
   author = 	 {E.L.~Gunter and C.J.~Osborn and A.~Popescu},
   title = 	 {{T}heory {S}upport for {W}eak {H}igher {O}rder {A}bstract {S}yntax in