Chris Horn
-
Numerical analysis using nonprocedural paradigms
ACM Transactions on Mathematical Software (TOMS)