--- a/doc-src/manual.bib Fri Oct 22 16:11:43 2010 +0200
+++ b/doc-src/manual.bib Fri Oct 22 16:37:11 2010 +0200
@@ -1593,6 +1593,11 @@
note = {\url{http://www.cs.kun.nl/~freek/notes/mv.ps.gz}}
}
+@misc{wikipedia-2009-aa-trees,
+ key = "Wikipedia",
+ title = "Wikipedia: {AA} Tree",
+ note = "\url{http://en.wikipedia.org/wiki/AA_tree}"}
+
@book{winskel93,
author = {Glynn Winskel},
title = {The Formal Semantics of Programming Languages},
@@ -1611,6 +1616,11 @@
%Z
+@misc{z3,
+ key = "Z3",
+ title = "Z3: An Efficient {SMT} Solver",
+ note = "\url{http://research.microsoft.com/en-us/um/redmond/projects/z3/}"}
+
% CROSS REFERENCES
@@ -1855,8 +1865,3 @@
title = {{ML} Modules and {Haskell} Type Classes: A Constructive Comparison},
author = {Stefan Wehr et. al.}
}
-
-@misc{wikipedia-2009-aa-trees,
- key = "Wikipedia",
- title = "Wikipedia: {AA} Tree",
- note = "\url{http://en.wikipedia.org/wiki/AA_tree}"}