1. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)
2. Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)
3. Leppänen, S.: The Lyra Design Method. Technical report, Technical University of Tampere (2005) ISBN 952-15-1464-7, ISSN 1459-417X
4. Leppänen, S., Ilic, D., Malik, Q., Systä, T., Troubitsyna, E.: Specifying UML Profile for Distributed Communicating Systems and Communication Protocols. In: Proceedings of the Workshop on Consistency in Model Driven Engineering (2005)
5. Ilic, D., Troubitsyna, E., Laibinis, L., Leppänen, S.: Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols, Technical Report (enhanced version submitted into a journal), Turku Centre for Computer Science (2006), ISBN 952-12-1749-9