Alan Stewart. An Axiomatic Treatment of SIMD Assignment. BIT, 30(1):70-82, 1990.
@article{Stewart90:1, title = {An Axiomatic Treatment of SIMD Assignment}, author = {Alan Stewart}, year = {1990}, researchr = {https://researchr.org/publication/Stewart90%3A1}, cites = {0}, citedby = {0}, journal = {BIT}, volume = {30}, number = {1}, pages = {70-82}, }