--- a/prio/Paper/document/root.bib	Mon Apr 16 15:16:02 2012 +0000
+++ b/prio/Paper/document/root.bib	Tue Apr 17 15:37:03 2012 +0000
@@ -1,3 +1,9 @@
+
+@Misc{PINTOS,
+  title = {\url{http://www.stanford.edu/class/cs140/projects/}},
+}
+
+
 @inproceedings{Haftmann08,
   author    = {F.~Haftmann and M.~Wenzel},
   title     = {{L}ocal {T}heory {S}pecifications in {I}sabelle/{I}sar},