1 files changed, 52 insertions, 0 deletions
diff --git a/tex/thesis/references.bib b/tex/thesis/references.bib
index 3993b5e..9b0eb6b 100644
--- a/tex/thesis/references.bib
+++ b/tex/thesis/references.bib
@@ -207,3 +207,55 @@ Entscheidungsproblem},
   volume = 42,
   year = 1936
 }
+@article{Knaster-Tarski,
+   author = {Tarski, Alfred}, 
+   journal = {Pacific Journal of Mathematics}, 
+   number = {2}, 
+   pages = {285-309}, 
+   title = {A Lattice-Theoretical Fixpoint Theorem and its Applications}, 
+   volume = {5}, 
+   year = {1955}, 
+}
+@TECHREPORT{TD-fixpoint,
+    author = {Baudouin Le Charlier and Pascal Van Hentenryck},
+    title = {A Universal Top-Down Fixpoint Algorithm},
+    institution = {},
+    year = {1992}
+}
+@INPROCEEDINGS{Jorgensen94findingfixpoints,
+    author = {Niels Jørgensen},
+    title = {Finding Fixpoints in Finite Function Spaces Using Neededness Analysis and Chaotic Iteration},
+    booktitle = {In SAS'94},
+    year = {1994},
+    pages = {329--345},
+    publisher = {Springer, LNCS}
+}
+@inproceedings{Kildall:1973:UAG:512927.512945,
+ author = {Kildall, Gary A.},
+ title = {A unified approach to global program optimization},
+ booktitle = {Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
+ series = {POPL '73},
+ year = {1973},
+ location = {Boston, Massachusetts},
+ pages = {194--206},
+ numpages = {13},
+ url = {http://doi.acm.org/10.1145/512927.512945},
+ doi = {10.1145/512927.512945},
+ acmid = {512945},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+} 
+@incollection{FP-efficient,
+year={1994},
+isbn={978-3-540-58485-8},
+booktitle={Static Analysis},
+volume={864},
+series={Lecture Notes in Computer Science},
+editor={Charlier, Baudouin},
+doi={10.1007/3-540-58485-4_49},
+title={Efficient fixpoint computation},
+url={http://dx.doi.org/10.1007/3-540-58485-4_49},
+publisher={Springer Berlin Heidelberg},
+author={Vergauwen, B. and Wauman, J. and Lewi, J.},
+pages={314-328}
+}