Formal semantics and analysis of control flow in WS-BPEL
Distribution of the number of citations over years.