1. Akers, R. L., Baffes, P., Kant, E., Randall, C., Steinberg, S., Young, R. L., Authomatic synthesis of numerical codes for solving partial differential equations, Math. Comp. Simulation, 45 (1998) 3–22.
2. Programming in Ada, 4th edition, Addison-Wesley, Reading, MA, 1994.
3. Bastion, P., Birken, K., Johansen, K., Lang, S., Neuss, N., Rentz-Reichert, H., Wieners, C., UG - A Flexible Software Toolbox for Solving Partial Differential Equations. Computing and Visualization in Science, 1 (1997) 27–40.
4. Capolsini, P., MacroC, C code generation within Maple, INRIA Research Report (1992).
5. Drescher, K., Axioms, Categories and Domains, Automath technical report 1, (1997).