Plishker W, Sane N, Kiemb M, Bhattacharyya SS.  2011.  Heterogeneous Design in Functional DIF. Transactions on High-Performance Embedded Architectures and Compilers IV. :391-408.

Van Horn D, Mairson HG.  2008.  Flow Analysis, Linearity, and PTIME. Static Analysis. :255-269.

Dumitras T, Narasimhan P.  2005.  Fault-Tolerant Middleware and the Magical 1%. Middleware 2005. :431-441.