Inheriting Synchronization Protocols via Sound Enrichment Rules. - Frantisek Plásil; Daniel Mikusík (JMLC, 1997)