aurels-rbib 1.0.2

data/bibtex/test_entry.rb

@@ -0,0 +1,70 @@
+require 'bibtex/entry'
+require 'test/unit'
+
+class TestEntry < Test::Unit::TestCase
+  include BibTeX
+
+  def setup
+    @e = Entry.new(EntryType::Book, 'foo01')
+  end
+  
+  def test_basic
+    assert_equal EntryType::Book, @e.type
+    assert_equal 'foo01', @e.key
+  end
+
+  def add_default_fields
+    @e.add_field :author, 'C. Doof'
+    @e.add_field :year, 2007
+    @e.add_field Field.new(:url, 'www.doof.me.uk')
+  end
+
+  def test_fields
+    add_default_fields
+    
+    assert_equal 'C. Doof', @e[:author]
+    assert_equal 2007, @e[:year]
+    assert_equal 'www.doof.me.uk', @e[:url]
+  end
+
+  def test_to_s
+    add_default_fields
+
+    expect = <<END
+@book{foo01,
+  author = {C. Doof},
+  url = {www.doof.me.uk},
+  year = {2007}
+}
+
+END
+    assert_equal expect, @e.to_s
+  end
+
+  def test_reject
+    add_default_fields
+
+    expect = <<END
+@book{foo01,
+  author = {C. Doof},
+  year = {2007}
+}
+
+END
+    r = @e.reject_fields [:url]
+    assert_equal expect, r.to_s    
+  end
+
+  def test_select
+    add_default_fields
+
+    expect = <<END
+@book{foo01,
+  url = {www.doof.me.uk}
+}
+
+END
+    r = @e.select_fields [:url]
+    assert_equal expect, r.to_s    
+  end
+end

data/bibtex/test_field.rb

@@ -0,0 +1,17 @@
+require 'bibtex/field'
+require 'test/unit'
+
+class TestField < Test::Unit::TestCase
+  include BibTeX
+
+  def test_basic
+    f = Field.new(:author, 'C. Doof')
+    assert_equal :author, f.key
+    assert_equal 'C. Doof', f.value
+  end
+
+  def test_to_s
+    f = Field.new(:author, 'C. Doof')
+    assert_equal 'author = {C. Doof}', f.to_s
+  end
+end

data/bibtex/test_lexer.rb

@@ -0,0 +1,116 @@
+require 'bibtex/lexer'
+require 'test/unit'
+
+class TestLexer < Test::Unit::TestCase
+  include BibTeX
+  
+  def test_basic
+    l = Lexer.new do |rules|
+      rules.match /a/, :a
+      rules.match /b+/, :bs
+      rules.match /\s+/, :space
+      rules.match /hello/, :hello
+    end
+    l.feed 'aabbb  hello'
+
+    assert_equal :a, l.next_token!
+    assert_equal :a, l.next_token!
+    assert_equal :bs, l.next_token!
+    assert_equal :space, l.next_token!
+    assert_equal :hello, l.peek_token
+    assert_equal 'hello', l.peek_lval
+    assert_equal :hello, l.next_token!
+
+    assert (not l.more_tokens?)
+    assert_raise LexerError do
+      l.next_token!
+    end
+  end
+
+  def test_prec
+    l = Lexer.new do |rules|
+      rules.match /a/, :aye
+      rules.match /a+/, :bad
+      rules.match /.*/, :other
+    end
+    l.feed 'aa'
+    assert_equal :aye, l.next_token!
+    assert_equal :aye, l.next_token!
+    assert (not l.more_tokens?)
+  end
+
+  def test_whitespace
+    l = Lexer.new(false) do |rules|
+      rules.match /\w+/, :word
+    end
+    l.feed " hello\t\n  world   "
+
+    assert (not l.ignore_whitespace)
+    l.ignore_whitespace = true
+
+    assert_equal :word, l.next_token!
+    assert_equal 'hello', l.lval
+    assert_equal :word, l.next_token!
+    assert_equal 'world', l.lval
+    assert (not l.more_tokens?)
+  end
+
+  def test_src_pos
+    l = Lexer.new do |rules|
+      rules.match /a/, :a
+      rules.match /\n/, :newline
+    end
+    l.feed 'aaaab'
+
+    4.times { l.next_token! }
+    begin
+      l.next_token!
+      flunk 'No exception raised'
+    rescue LexerError => e
+      assert_kind_of SourcePos, e.src_pos
+      assert_equal 1, e.src_pos.line
+      assert_equal 4, e.src_pos.column
+    end
+
+    l.ignore_newlines = false
+    l.feed "aa\nab"
+
+    l.file_name = 'My File'
+
+    2.times { l.next_token! }
+    assert_equal :newline, l.next_token!
+    assert_equal :a, l.next_token!
+    begin
+      l.next_token!
+      flunk 'No error raised'
+    rescue LexerError => e
+      assert_equal 2, e.src_pos.line
+      assert_equal 1, e.src_pos.column
+      assert_equal 'My File', e.src_pos.file
+    end
+  end
+
+  def test_literals
+    l = Lexer.new do |rules|
+      rules.literals [:aye, :bee]
+    end
+    l.feed 'ayebeebee'
+
+    assert_equal :aye, l.next_token!
+    assert_equal :bee, l.next_token!
+    assert_equal :bee, l.next_token!
+  end
+
+  def test_refeed
+    l = Lexer.new do |rules|
+      rules.match /a/, :a
+      rules.match /b/, :b
+    end
+    l.feed 'aaa'
+
+    assert_equal :a, l.next_token!
+    l.feed 'bb'
+    assert l.more_tokens?
+    assert_equal :b, l.next_token!
+  end
+end

data/bibtex/test_parser.rb

@@ -0,0 +1,27 @@
+require 'bibtex/parser'
+require 'test/unit'
+
+class TestParser < Test::Unit::TestCase
+  include BibTeX
+  
+  def test_basic
+    b = Parser.parse 'example.bib'
+
+    ryan98 = b['ryan98']
+    assert_kind_of Entry, ryan98
+    assert_equal EntryType::Article, ryan98.type
+    assert_equal 1998, ryan98[:year].to_i
+
+    heys01 = b['heys01']
+    assert_equal "March", heys01[:month]
+    assert_equal 2001, heys01[:year].to_i
+  end
+
+  def test_parse_reparse
+    fname = '/tmp/example.bib.stripped'
+    b = Parser.parse 'example.bib'
+    b.save fname
+    Parser.parse fname
+    File.delete fname    
+  end
+end

data/example.bib

@@ -0,0 +1,753 @@
+@book{clr2,
+	author = {Cormen, Thomas  H.  and Leiserson, Charles  E.  and Rivest, Ronald  L.  and Stein, Clifford  },
+	citeulike-article-id = {2722440},
+	edition = {Second},
+	keywords = {algorithms},
+	posted-at = {2008-04-26 20:50:39},
+	priority = {2},
+	publisher = {MIT Press},
+	title = {Introduction to Algorithms},
+	year = {2001}
+}
+
+
+
+@techreport{heys01,
+	author = {Heys, H. M. },
+	citeulike-article-id = {2721821},
+	institution = {Centre for Applied Cryptographic Research, Department of Combinatorics and Optimization, University of Waterloo},
+	keywords = {cryptography},
+	month = March,
+	posted-at = {2008-04-26 15:01:56},
+	priority = {0},
+	title = {A Tutorial on Linear and Differential Cryptanalysis},
+	year = 2001
+}
+
+
+
+@article{petri89,
+	author = {Murata, Tadao  },
+	citeulike-article-id = {2697334},
+	journal = {Proceedings of the IEEE},
+	keywords = {semantics},
+	month = {April},
+	number = {4},
+	pages = {541--580},
+	posted-at = {2008-04-21 18:28:17},
+	priority = {2},
+	title = {Petri nets: Properties, analysis and applications},
+	volume = {77},
+	year = {1989}
+}
+
+
+
+@book{sem07,
+	author = {Nielson, Hanne  R.  and Nielson, Flemming  },
+	citeulike-article-id = {2696993},
+	keywords = {semantics},
+	posted-at = {2008-04-21 16:55:04},
+	priority = {2},
+	publisher = {Springer},
+	title = {Semantics with Applications: An Appetizer},
+	year = {2007}
+}
+
+
+
+@inproceedings{add02,
+	author = {Bass, L.  and Klein, M.  and Bachmann, F. },
+	booktitle = {Software Product-Family Engineering: 4th International Workshop},
+	citeulike-article-id = {2693208},
+	keywords = {sw-arch},
+	posted-at = {2008-04-20 17:04:21},
+	priority = {1},
+	publisher = {Springer},
+	title = {Quality Attribute Design Primitives and the Attribute Driven Design Method},
+	year = {2002}
+}
+
+
+
+@inproceedings{cbam03,
+	author = {Moore, M.  and Kaman, R.  and Klein, M.  and Asundi, J. },
+	booktitle = {25th International Conference on Software Engineering},
+	citeulike-article-id = {2693201},
+	keywords = {sw-arch},
+	pages = {557--562},
+	posted-at = {2008-04-20 17:02:20},
+	priority = {1},
+	title = {Quantifying the Value of Architecture Design Decisions: Lessons from the Field},
+	year = {2003}
+}
+
+
+
+@article{kaz99,
+	author = {Kazman, Rick   and Carri\`{e}re1, Jeromy  S. },
+	citeulike-article-id = {2693195},
+	journal = {Automated Software Engineering},
+	keywords = {sw-arch},
+	month = {April},
+	number = {2},
+	pages = {107--138},
+	posted-at = {2008-04-20 16:57:46},
+	priority = {1},
+	title = {Playing Detective: Reconstructing Software Architecture from Available Evidence},
+	volume = {6},
+	year = {1999}
+}
+
+
+
+@book{hof99,
+	author = {Hofmeister, Christine   and Nord, Robert   and Soni, Dilip  },
+	citeulike-article-id = {2690598},
+	keywords = {sw-arch},
+	posted-at = {2008-04-19 13:15:58},
+	priority = {1},
+	publisher = {Addison-Wesley},
+	title = {Applied software architecture},
+	year = {1999}
+}
+
+
+
+@book{sei03,
+	author = {Bass, Len   and Clements, Paul   and Kazman, Rick  },
+	citeulike-article-id = {2688011},
+	edition = {Second},
+	keywords = {sw-arch},
+	posted-at = {2008-04-18 14:57:36},
+	priority = {2},
+	publisher = {Addison-Wesley},
+	title = {Software Architecture in Practice},
+	year = {2003}
+}
+
+
+
+@book{beck03,
+	author = {Beck, Kent  },
+	citeulike-article-id = {2678503},
+	journal = {Addison-Wesley},
+	keywords = {sw-eng},
+	posted-at = {2008-04-16 17:41:58},
+	priority = {0},
+	publisher = {Addison-Wesley},
+	title = {Test-Driven Development by Example},
+	year = {2003}
+}
+
+
+
+@book{thompson99,
+	author = {Thompson, Simon  },
+	citeulike-article-id = {2678500},
+	keywords = {haskell},
+	posted-at = {2008-04-16 17:41:01},
+	priority = {2},
+	publisher = {Addison-Wesley},
+	title = {Haskell: The Craft of Functional Programming},
+	year = {1999}
+}
+
+
+
+@book{tiger,
+	author = {Appel, Andrew  W. },
+	citeulike-article-id = {2678496},
+	keywords = {compilers},
+	posted-at = {2008-04-16 17:39:34},
+	priority = {2},
+	publisher = {Cambridge University Press},
+	title = {Modern Compiler Implementation in ML},
+	year = {1998}
+}
+
+
+
+@manual{xildev,
+	author = {Xilinx},
+	citeulike-article-id = {2670151},
+	organization = {Xilinx},
+	posted-at = {2008-04-14 18:46:26},
+	priority = {2},
+	title = {Development System Reference Guide},
+	year = {2007}
+}
+
+
+
+@inproceedings{golson93,
+	author = {Golson, Steve  },
+	booktitle = {3rd PLD Design Conference},
+	citeulike-article-id = {2663349},
+	keywords = {digital-logic, fpgas, hdls},
+	month = {March},
+	posted-at = {2008-04-13 12:01:55},
+	priority = {0},
+	title = {One-hot state machine design for {FPGAs}},
+	year = {1993}
+}
+
+
+
+@techreport{parsec01,
+	author = {Leijen, Daan   and Meijer, Erik  },
+	citeulike-article-id = {2662226},
+	institution = {Departement of Computer Science, Universiteit Utrecht},
+	keywords = {haskell, parsing},
+	posted-at = {2008-04-12 21:38:39},
+	priority = {2},
+	title = {{Parsec: Direct Style Monadic Parser Combinators for the Real World}},
+	year = {2001}
+}
+
+
+
+@article{wallace99,
+	author = {Wallace, Malcolm   and Runciman, Colin  },
+	citeulike-article-id = {2659883},
+	journal = {ACM SIGPLAN Notices},
+	keywords = {haskell},
+	month = {September},
+	number = {9},
+	pages = {148--159},
+	posted-at = {2008-04-12 11:46:56},
+	priority = {2},
+	title = {Haskell and {XML}: generic combinators or type-based translation?},
+	volume = {34},
+	year = {1999}
+}
+
+
+
+@inproceedings{shaw01,
+	author = {Shaw, Mary  },
+	booktitle = {Proceedings of the 23rd International Conference on Software Engineering},
+	citeulike-article-id = {2647331},
+	keywords = {sw-arch},
+	organization = {IEEE Computer Society},
+	pages = {656--664},
+	posted-at = {2008-04-09 22:32:17},
+	priority = {0},
+	title = {The Coming-of-Age of Software Architecture Research},
+	year = {2001}
+}
+
+
+
+@article{quickcheck00,
+	author = {Claessen, Koen   and Hughes, John  },
+	citeulike-article-id = {2515168},
+	journal = {Proc. of International Conference on Functional Programming (ICFP), ACM SIGPLAN.},
+	keywords = {haskell},
+	posted-at = {2008-03-11 14:37:58},
+	priority = {2},
+	title = {QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs},
+	year = {2000}
+}
+
+
+
+@book{sommerville,
+	author = {Sommerville, Ian  },
+	citeulike-article-id = {2457343},
+	edition = {Seventh},
+	keywords = {sw-eng},
+	posted-at = {2008-03-02 13:14:39},
+	priority = {2},
+	publisher = {Addison Wesley},
+	title = {Software Engineering},
+	year = {2004}
+}
+
+
+
+@techreport{pdrtut,
+	author = {Braeckman, Geert   and Van den Branden, Gerd   and Touhafi, Abdellah   and Van Dessel, Geoffroy  },
+	citeulike-article-id = {2425763},
+	institution = {Erasmushogeschool Brussel, dept. IWT},
+	keywords = {fpgas},
+	month = {July},
+	posted-at = {2008-02-25 15:01:50},
+	priority = {0},
+	title = {Module Based Partial Reconfiguration: a Quick Tutorial},
+	url = {http://elektronica.ehb.be/reco/PartialTutorial.htm},
+	year = {2004}
+}
+
+
+
+@inproceedings{ward01,
+	author = {Ward, M.  and Audsley, N. C. },
+	booktitle = {Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems},
+	citeulike-article-id = {2421111},
+	keywords = {hw-compilation},
+	pages = {99--107},
+	posted-at = {2008-02-24 11:17:25},
+	priority = {0},
+	publisher = {ACM},
+	title = {Hardware compilation of sequential {Ada}},
+	year = {2001}
+}
+
+
+
+@inproceedings{ward02,
+	author = {Ward, M.  and Audsley, N. C. },
+	booktitle = {Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems},
+	citeulike-article-id = {2421108},
+	keywords = {hw-compilation},
+	pages = {59--68},
+	posted-at = {2008-02-24 11:15:19},
+	priority = {0},
+	publisher = {ACM},
+	title = {Hardware implementation of the Ravenscar Ada tasking profile},
+	year = {2002}
+}
+
+
+
+@book{verilog,
+	author = {Ciletti, Michael  D. },
+	citeulike-article-id = {2418847},
+	keywords = {hdls},
+	posted-at = {2008-02-23 17:16:28},
+	priority = {1},
+	publisher = {Prentice Hall},
+	title = {Modeling, synthesis, and rapid prototyping with the Verilog HDL},
+	year = {1999}
+}
+
+
+
+@mastersthesis{cleary05,
+	author = {Cleary, Robert  },
+	citeulike-article-id = {2305200},
+	keywords = {nsc},
+	posted-at = {2008-01-29 21:05:05},
+	priority = {1},
+	school = {University of Limerick},
+	title = {Extending Grammatical Evolution with Attribute Grammars: An Application to Knapsack Problems},
+	year = {2005}
+}
+
+
+
+@article{ryan98,
+	author = {Ryan, Connor   and Collins, J. J.  and O'Neill, Micheal  },
+	citeulike-article-id = {2305042},
+	journal = {Proceedings of the First European Workshop on Genetic Programming},
+	keywords = {nsc},
+	posted-at = {2008-01-29 20:08:42},
+	priority = {0},
+	title = {Grammatical Evolution: Evolving Programs for an Arbitrary Language},
+	year = "1998"
+}
+
+
+
+@incollection{music04,
+	author = {Chemillier, Marc  },
+	booktitle = {Formal Systems and Music},
+	citeulike-article-id = {2305022},
+	editor = {Caffagna, V.  and Chemillier, M. },
+	journal = {Soft Computing},
+	keywords = {music},
+	posted-at = {2008-01-29 19:58:39},
+	priority = {0},
+	publisher = {Springer},
+	title = {Steedman's grammar for jazz chord sequences},
+	url = {http://recherche.ircam.fr/equipes/repmus/marc/publi/softcomputing/marcsteedman/marc-steedman.pdf},
+	year = {2004}
+}
+
+
+
+@manual{xilinx:xst,
+	author = {Xilinx},
+	citeulike-article-id = {2304836},
+	keywords = {fpgas, hdls},
+	organization = {Xilinx Inc.},
+	posted-at = {2008-01-29 18:30:50},
+	priority = {1},
+	title = {XST User Guide},
+	year = {2007}
+}
+
+
+
+@manual{xilinx:vertex2,
+	author = {Xilinx},
+	citeulike-article-id = {2304835},
+	keywords = {fpgas, hdls},
+	organization = {Xilinx Inc.},
+	posted-at = {2008-01-29 18:30:50},
+	priority = {1},
+	title = {Virtex-II Pro Data Sheet},
+	year = {2007}
+}
+
+
+
+@article{wirth98,
+	author = {Wirth, Niklaus  },
+	citeulike-article-id = {2304834},
+	journal = {IEEE Computer},
+	keywords = {hw-compilation},
+	number = {6},
+	pages = {25--31},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {0},
+	title = {Hardware Compilation: Translating Programs into Circuits},
+	volume = {31},
+	year = {1998}
+}
+
+
+
+@phdthesis{ward,
+	author = {Ward, Michael  },
+	citeulike-article-id = {2304833},
+	keywords = {hw-compilation},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {0},
+	school = {University of York},
+	title = {{Improving the Timing Analysis of Ravenscar / SPARK Ada by Direct Compilation to Hardware}},
+	year = {2004}
+}
+
+
+
+@book{wakerly,
+	author = {Wakerly, John  F. },
+	citeulike-article-id = {2304832},
+	edition = {Fourth},
+	keywords = {digital-logic},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {4},
+	publisher = {Prentice Hall},
+	title = {Digital Design: Principles and Practices},
+	year = {2006}
+}
+
+
+
+@book{dinosaur,
+	author = {Silberschatz, A.  and Galvin, P. B.  and Gagne, G. },
+	citeulike-article-id = {2304831},
+	edition = {sixth},
+	keywords = {operating-systems},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {2},
+	publisher = {Wiley},
+	title = {{Operating System Concepts}},
+	year = {2003}
+}
+
+
+
+@book{rushton98,
+	author = {Rushton, Andrew  },
+	citeulike-article-id = {2304830},
+	keywords = {hdls},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {2},
+	publisher = {John Wiley \& Sons},
+	title = {VHDL for Logic Synthesis},
+	year = {1998}
+}
+
+
+
+@misc{peterweb,
+	author = {Peter, Christian  },
+	citeulike-article-id = {2304829},
+	comment = {[Online; accessed 4-January-2008]},
+	keywords = {hw-compilation},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {0},
+	title = {{Overview: Hardware Compilation and the Handel-C language}},
+	url = {http://web.comlab.ox.ac.uk/oucl/work/christian.peter/overview\_handelc.html},
+	year = {2000}
+}
+
+
+
+@incollection{page91,
+	author = {Page, I.  and Luk, W. },
+	booktitle = {FPGAs},
+	citeulike-article-id = {2304828},
+	editor = {Moore, W.  and Luk, W. },
+	keywords = {hw-compilation},
+	pages = {271--283},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {0},
+	publisher = {Abingdon EE\&CS Books},
+	title = {Compiling Occam into FPGAs},
+	year = {1991}
+}
+
+
+
+@article{page96,
+	author = {Page, I. },
+	citeulike-article-id = {2304827},
+	journal = {Journal of VLSI Signal Processing},
+	keywords = {hw-compilation},
+	number = {1},
+	pages = {87--107},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {0},
+	title = {Constructing hardware-software systems from a single description},
+	volume = {12},
+	year = {1996}
+}
+
+
+
+@book{oldfield95,
+	author = {Oldfield, John  V.  and Dorf, Richard  C. },
+	citeulike-article-id = {2304826},
+	keywords = {fpgas},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {2},
+	publisher = {John Wiley \& Sons},
+	title = {Field Programmable Gate Arrays},
+	year = {1995}
+}
+
+
+
+@book{louden,
+	author = {Louden, Kenneth  C. },
+	citeulike-article-id = {2304825},
+	keywords = {compilers},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {2},
+	publisher = {PWS},
+	title = {Compiler Construction: Principles and Practice},
+	year = {1997}
+}
+
+
+
+@book{systemc,
+	author = {Gr\"{o}tker, Thorsten  },
+	citeulike-article-id = {2304824},
+	keywords = {hdls},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {2},
+	publisher = {Springer},
+	title = {System Design with SystemC},
+	year = {2002}
+}
+
+
+
+@incollection{east91,
+	author = {East, W.  and Tu, D. },
+	booktitle = {FPGAs},
+	citeulike-article-id = {2304823},
+	editor = {Moore, W.  and Luk, W. },
+	keywords = {fpgas},
+	pages = {61--72},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {2},
+	publisher = {Abingdon EE\&CS Books},
+	title = {Practical {FPGA} Design using Logic Synthesis},
+	year = {1991}
+}
+
+
+
+@phdthesis{lava,
+	author = {Claessen, Koen  },
+	citeulike-article-id = {2304822},
+	keywords = {haskell, hdls},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {2},
+	school = {Chalmers University of Technology and G\\"{o}teborg University},
+	title = {An Embedded Language Approach to Hardware Description and Verification},
+	year = {2000}
+}
+
+
+
+@book{burns01,
+	author = {Burns, Alan   and Wellings, Andy  },
+	citeulike-article-id = {2304821},
+	edition = {Third},
+	keywords = {rts, sw-lang},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {2},
+	publisher = {Pearson Education},
+	title = {Real-Time Systems and Programming Languages},
+	year = {2001}
+}
+
+
+
+@book{occam,
+	author = {Burns, Alan  },
+	citeulike-article-id = {2304820},
+	keywords = {sw-lang},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {2},
+	publisher = {Addison-Wesley},
+	title = {Programming in Occam 2},
+	year = {1988}
+}
+
+
+
+@incollection{brunvand91,
+	author = {Brunvand, Erik  },
+	booktitle = {FPGAs},
+	citeulike-article-id = {2304819},
+	editor = {Moore, W.  and Luk, W. },
+	keywords = {fpgas},
+	pages = {312--323},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {2},
+	publisher = {Abingdon EE\&CS Books},
+	title = {Implementing Self-Timed Systems with FPGAs},
+	year = {1991}
+}
+
+
+
+@article{csp,
+	author = {Brookes, Stephen   and Hoare, C. A. R.  and Roscoe, A. W. },
+	citeulike-article-id = {2304818},
+	journal = {Journal of the ACM},
+	keywords = {sw-lang},
+	number = {31},
+	pages = {560--599},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {2},
+	title = {{A Theory of Communicating Sequential Processes}},
+	volume = {3},
+	year = {1984}
+}
+
+
+
+@article{jhdl,
+	author = {Bellows, P.  and Hutchings, B. },
+	citeulike-article-id = {2304817},
+	journal = {IEEE Symposium on FPGAs for Custom Computing Machines},
+	keywords = {hdls},
+	pages = {175--185},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {2},
+	title = {{JHDL - An HDL for Reconfigurable Systems}},
+	year = {1998}
+}
+
+
+
+@book{barnes98,
+	author = {Barnes, John  },
+	citeulike-article-id = {2304816},
+	edition = {Second},
+	keywords = {sw-lang},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {2},
+	publisher = {Addison-Wesley},
+	title = {Programming in Ada95},
+	year = {1998}
+}
+
+
+
+@book{ashenden96,
+	author = {Ashenden, Peter  },
+	citeulike-article-id = {2304815},
+	keywords = {hdls},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {2},
+	publisher = {Morgan Kaufmann},
+	title = {The Designer's Guide to VHDL},
+	year = {1996}
+}
+
+
+
+@article{andrews88,
+	author = {Andrews, Gregory  R.  and Olsson, Ronakd  A.  and Coffin, Micheal   and Elshoff, Irving   and Nilsen, Kelvin   and Purdin, Titus   and Townsend, Greg  },
+	citeulike-article-id = {2304814},
+	journal = {ACM Transactions on Programming Languages and Systems},
+	keywords = {sw-lang},
+	number = {1},
+	pages = {51--86},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {2},
+	title = {{An Overview of the SR Language and Implementation}},
+	volume = {10},
+	year = {1988}
+}
+
+
+
+@article{andrews81,
+	author = {Andrews, Gregory  R. },
+	citeulike-article-id = {2304813},
+	journal = {ACM Transactions on Programming Languages and Systems},
+	keywords = {sw-lang},
+	number = {4},
+	pages = {405--430},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {2},
+	title = {Synchronizing Resources},
+	volume = {3},
+	year = {1981}
+}
+
+
+
+@book{andrews93,
+	author = {Andrews, G. R.  and Olsson, R. A. },
+	citeulike-article-id = {2304812},
+	keywords = {sw-lang},
+	posted-at = {2008-01-29 18:30:49},
+	priority = {2},
+	publisher = {Benjamin-Cummings Publishing Co., Inc.},
+	title = {{The SR programming language: concurrency in practice}},
+	year = {1993}
+}
+
+
+
+@book{kendall93,
+	author = {Atkinson, Kendall  E. },
+	citeulike-article-id = {2301903},
+	keywords = {maths},
+	posted-at = {2008-01-29 12:20:37},
+	priority = {1},
+	publisher = {Wiley},
+	title = {Elementary Numerical Analysis},
+	year = {1993}
+}
+
+
+
+@inbook{mackay03,
+	author = {Mackay, David  },
+	chapter = {29},
+	citeulike-article-id = {2301705},
+	keywords = {local-search},
+	pages = {374--375},
+	posted-at = {2008-01-29 11:05:33},
+	priority = {1},
+	publisher = {Cambridge University Press},
+	title = {Information Theory, Inference, and Learning Algorithms},
+	year = {2003}
+}
+
+
+
+