Results for "Specification and Programming Environment for Communication Software"