A software interconnection technology to support specification of computational environments (polylith, module interconnection language)

Applications of a software interconnection system in mathematical problem solving environments

SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation

The POLYLITH software bus

ACM Transactions on Programming Languages and Systems (TOPLAS)

MP: a protocol for efficient exchange of mathematical expressions

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation

A model for multiparadigm systems

CSC '91 Proceedings of the 19th annual conference on Computer Science

IAMC architecture and prototyping: a progress report

Proceedings of the 2001 international symposium on Symbolic and algebraic computation