A flow analysis framework for realistic scheme programs. - Eric Jean Knauel (2008)