Akers, Robert L., Bica, Ion, Kant, Elaine, Randall, Curt and Young, Robert L. 2001. “SciFinance: A Program Synthesis Tool for Financial Modeling.”The AI Magazine 22(2): 27–41.
Kant, Elaine. 1983. “On the Efficient Synthesis of Efficient Programs.”Artificial Intelligence 20(3): 253–305.