1. Amyot, D. (1994) Formalization of Timethreads Using LOTOS. M.Sc. Thesis, Dept. of Computer Science, University of Ottawa, Ottawa, Canada.
2. Bolognesi, T. (1990) “A Graphical Composition Theorem for Networks of LOTOS Processes”. In: Proceedings of the 10th International Conference on Distributed Computing Systems, IEEE Computer Society Press, 88–95.
3. Bordeleau, F. (1993) Visual Descriptions, Formalisms and the Design Process. M.Sc. Thesis, School of Computer Science, TR-SCE-93–35, Carleton University, Ottawa, Canada.
4. Bordeleau, E and Amyot, D. (1993) “LOTOS Interpretation of Timethreads: A Method and a Case Study”. TR-SCE-93–34, Dept. of Systems and Computer Engineering, Carleton University, Ottawa, Canada
5. Bordeleau, E and Locas, M. (1994) “Timethread-Centered Design Process: A Study on Transformation Techniques and a Telephone System Case Study”. TR-SCE-94–18, Dept. of Systems and Computer Engineering, Carleton University, Ottawa, Canada.