David M. Butler. The Sheaf Data Model: A Rigorous Data Model for Scientific Computing. In 2012 SC Companion: High Performance Computing, Networking Storage and Analysis, Salt Lake City, UT, USA, November 10-16, 2012. pages 1303-1305, IEEE Computer Society, 2012. [doi]
@inproceedings{Butler12a, title = {The Sheaf Data Model: A Rigorous Data Model for Scientific Computing}, author = {David M. Butler}, year = {2012}, doi = {10.1109/SC.Companion.2012.159}, url = {http://doi.ieeecomputersociety.org/10.1109/SC.Companion.2012.159}, researchr = {https://researchr.org/publication/Butler12a}, cites = {0}, citedby = {0}, pages = {1303-1305}, booktitle = {2012 SC Companion: High Performance Computing, Networking Storage and Analysis, Salt Lake City, UT, USA, November 10-16, 2012}, publisher = {IEEE Computer Society}, isbn = {978-1-4673-6218-4}, }