1.1 --- a/doc-src/isac/CTP-userinterfaces.bib	Tue Jan 11 14:05:20 2011 +0100
     1.2 +++ b/doc-src/isac/CTP-userinterfaces.bib	Tue Jan 11 14:24:36 2011 +0100
     1.3 @@ -1,28 +1,10 @@
     1.4 -@inproceedings{Aspinall:2007:FIP:1420412.1420429,
     1.5 - author = {Aspinall, David and L\"{u}th, Christoph and Winterstein, Daniel},
     1.6 - title = {A Framework for Interactive Proof},
     1.7 - booktitle = {Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference},
     1.8 - series = {Calculemus '07 / MKM '07},
     1.9 - year = {2007},
    1.10 - isbn = {978-3-540-73083-5},
    1.11 - location = {Hagenberg, Austria},
    1.12 - pages = {161--175},
    1.13 - numpages = {15},
    1.14 - url = {http://dx.doi.org/10.1007/978-3-540-73086-6_15},
    1.15 - doi = {http://dx.doi.org/10.1007/978-3-540-73086-6_15},
    1.16 - acmid = {1420429},
    1.17 - publisher = {Springer-Verlag},
    1.18 - address = {Berlin, Heidelberg},
    1.19 -} 
    1.20 -
    1.21 -@Book{,
    1.22 +@Book{armstrong:erlang96,
    1.23    author = 	 {Armstrong, Joe, et.al.},
    1.24    title = 	 {Concurrent Programming in Erlang},
    1.25    publisher = {Prentice Hall},
    1.26    year = 	 {1996}
    1.27  }
    1.28  
    1.29 -
    1.30  @TechReport{odersky:scala06,
    1.31    author = 	 {Odersky, Martin, et.al.},
    1.32    title = 	 {An Overview of the Scala Programming Language},
    1.33 @@ -53,8 +35,6 @@
    1.34   keywords = {Actors, Concurrent programming, Events, Threads},
    1.35  } 
    1.36  
    1.37 -
    1.38 -
    1.39  @InProceedings{scala:jmlc06,
    1.40    author =       {Philipp Haller and Martin Odersky},
    1.41    title =        {Event-Based Programming without Inversion of Control},