1. André Arnold. Finite Transition Systems. International Series in Computer Science. Prentice-Hall, 1994.
2. H. Barringer, G. Gough, B. Monahan, and A. Williams. An algebraic framework for action and process. D2.3c, Formal Verification Support for ELLA, IED project 4/1/1357, University of Manchester, May 1993.
3. H. Barringer, G. Gough, B. Monahan, and A. Williams. A process algebra foundation for reasoning about core ELLA. Technical Report 94-12-1, University of Manchester, Dec 1994.
4. T. J. Biggerstaff and A, J. Perlis. Software Reusability — Applications and Experience, volume 2. Addison-Wesley Publishing Company, first edition, 1989.
5. T. J. Biggerstaff and A. J. Perlis. Software Reusability — Concepts and Models, volume 1. Addison-Wesley Publishing Company, first edition, 1989.