Gabbay, D.M. and M. de Rijke editors. Frontiers of Combining Systems 2 Research Studies Press/Wiley, 1999.
(1999)
Cirstea, H. and Kirchner, C. (1999) Cirstea, H. and Kirchner, C. "Combining Higher-Order and first-Order Computation Using - Calculus: Towards a semantics of ELAN" pp95-121