Automatic Generation of Solvers for Multisource Data Flow Analysis Problems (2004)

by John H. E. F. Lasseter