+@INPROCEEDINGS{Hydra,
+ author = {John O'Donnell},
+ title = {{From Transistors to Computer Architecture: Teaching Functional Circuit
+ Specification in Hydra}},
+ booktitle = {{Proceedings of the First International Symposium on Funtional Programming
+ Languages in Education}},
+ year = {1995},
+ volume = {1022},
+ series = {Lecture Notes in Computer Science},
+ pages = {195--214},
+ publisher = {Springer-Verlag},
+ owner = {darchon},
+ timestamp = {2010.01.21}
+}
+
+@ARTICLE{ForSyDe2,
+ author = {Ingo Sander and Axel Jantsch},
+ title = {{System Modeling and Transformational Design Refinement in ForSyDe}},
+ journal = {{IEEE Transactions on Computer-Aided Design of Integrated Circuits
+ and Systems}},
+ year = {2004},
+ volume = {23},
+ pages = {17--32},
+ number = {1},
+ month = {January},
+ key = {ForSyDe},
+ owner = {darchon},
+ timestamp = {2010.01.21}
+}
+
+@INPROCEEDINGS{ForSyDe1,