A formal ontological approach to causality embedded in the top level ontology of GFO (General Formal Ontology). - Hannes Michalek (2009)