Implementing option-pricing models using software synthesis. - James Gatheral; Yonathan Epelbaum; Jining Han; Kishor Laud; Olga Lubovitsky; Elaine Kant; Curt Randall (Comput. Sci. Eng., 1999)