Towards a knowledge base for specifying multilayer architectures - Application to internetworking. - Guy Juanole; André Onodi (INFOCOM, 1988)