--- 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