http://dbpedia.org/resource/Fusion_calculus
data from the linked data cloud