Generation of proper adapters and converters from a formal service specificationKaoru Okumura1990IEEE INFOCOM 1990