Marion Klein. The fixpoint analysis machine. PhD thesis, RWTH Aachen University, Germany, 1996. [doi]
@phdthesis{dnb-6253, title = {The fixpoint analysis machine}, author = {Marion Klein}, year = {1996}, url = {http://d-nb.info/948073551}, researchr = {https://researchr.org/publication/dnb-6253}, cites = {0}, citedby = {0}, school = {RWTH Aachen University, Germany}, }