"A Property Description Framework for Composable Software."

Alexander Frömmgen, Max Lehn, Alejandro P. Buchmann (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics