@misc{indiciae4f07b275b664, title = {Variant-Frequency Semantics for Green Futures}, author = {Yu David Liu}, year = {2013}, doi = {10.4204/eptcs.109.1}, url = {https://arxiv.org/abs/1302.6328}, note = {Source identifier: 1302.6328} }