--- a/prio/Paper/document/root.bib	Fri Feb 03 11:26:11 2012 +0000
+++ b/prio/Paper/document/root.bib	Sat Feb 04 00:14:41 2012 +0000
@@ -43,7 +43,12 @@
   year = 	"1980"
 }
 
-
+@MISC{Faria08,
+  author = {J.~M.~S.~Faria},
+  title = {{F}ormal {D}evelopment of {S}olutions for {R}eal-{T}ime {O}perating {S}ystems with {TLA+/TLC}},
+  year = {2008},
+  howpublished={\url{http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf}},
+}
 
 
 
@@ -56,12 +61,7 @@
 howpublished={\url{http://www.math.unipd.it/~tullio/SCD/2007/Materiale/Locke.pdf}},
 }
 
-@MISC{Faria08,
-author = {J. M. S. Faria},
-title = {Formal Development of Solutions for Real-Time Operating Systems with TLA+/TLC},
-year = {2008},
-howpublished={\url{http://repositorio-aberto.up.pt/bitstream/10216/11466/2/Texto%20integral.pdf}},
-}
+