@misc{indiciae794af18a67f4, title = {Big Data Refinement}, author = {Eerke A. Boiten}, year = {2016}, doi = {10.4204/eptcs.209.2}, url = {https://arxiv.org/abs/1606.02017}, note = {Source identifier: 1606.02017} }