John Capper, Henrik Nilsson: Structural types for systems of equations - Type refinements for structurally dynamic first-class modular systems of equations. High. Order Symb. Comput. 25(2-4): 275-310 (2012)