Κοτρώνης, Γ.,Tsiatsoulis, Z., Composition of specifications of message passing applications composed by the ensemble methodology, 299-312, 1997, Ελληνική Εταιρία Επιστημόνων Η/Υ και Πληροφορικής,