https://1library.net/document/z3161l8d-declarative-layer-composition-with-the-jcop-programming-language.html