diff -r f49671358ddb -r ece09eca1d43 doc-src/isac/CTP-userinterfaces.bib
--- a/doc-src/isac/CTP-userinterfaces.bib	Tue Jan 11 14:05:20 2011 +0100
+++ b/doc-src/isac/CTP-userinterfaces.bib	Tue Jan 11 14:24:36 2011 +0100
@@ -1,28 +1,10 @@
-@inproceedings{Aspinall:2007:FIP:1420412.1420429,
- author = {Aspinall, David and L\"{u}th, Christoph and Winterstein, Daniel},
- title = {A Framework for Interactive Proof},
- booktitle = {Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference},
- series = {Calculemus '07 / MKM '07},
- year = {2007},
- isbn = {978-3-540-73083-5},
- location = {Hagenberg, Austria},
- pages = {161--175},
- numpages = {15},
- url = {http://dx.doi.org/10.1007/978-3-540-73086-6_15},
- doi = {http://dx.doi.org/10.1007/978-3-540-73086-6_15},
- acmid = {1420429},
- publisher = {Springer-Verlag},
- address = {Berlin, Heidelberg},
-} 
-
-@Book{,
+@Book{armstrong:erlang96,
   author = 	 {Armstrong, Joe, et.al.},
   title = 	 {Concurrent Programming in Erlang},
   publisher = {Prentice Hall},
   year = 	 {1996}
 }
 
-
 @TechReport{odersky:scala06,
   author = 	 {Odersky, Martin, et.al.},
   title = 	 {An Overview of the Scala Programming Language},
@@ -53,8 +35,6 @@
  keywords = {Actors, Concurrent programming, Events, Threads},
 } 
 
-
-
 @InProceedings{scala:jmlc06,
   author =       {Philipp Haller and Martin Odersky},
   title =        {Event-Based Programming without Inversion of Control},